LUSTREC_regression_result_22-10-2020@224748.csv

Date: 2020-10-22 22:47:48
Commit: 249c8c7
Author: Hamza Bourbouh

models name	Orig vs PP valid	PP vs Lustre valid	Orig vs PP simulation failed	lustrec to C code failed	PP vs Lustre simulation failed	C binary failed	PP to Lustre generation failed	is unsupported	Orig vs PP CEX path	lustre file path	PP vs Lustre CEX path	models path	IR path
Abs6.mdl	1	1	0	0	0	0	0	0		Abs6_PP.LUSTREC.lus		Abs6.mdl	IR_pp_Abs6_PP.json
Abs1.slx	1	1	0	0	0	0	0	0		Abs1_PP.LUSTREC.lus		Abs1.slx	IR_pp_Abs1_PP.json
Abs2.slx	1	1	0	0	0	0	0	0		Abs2_PP.LUSTREC.lus		Abs2.slx	IR_pp_Abs2_PP.json
Abs3.slx	1	1	0	0	0	0	0	0		Abs3_PP.LUSTREC.lus		Abs3.slx	IR_pp_Abs3_PP.json
Abs4.slx	1	1	0	0	0	0	0	0		Abs4_PP.LUSTREC.lus		Abs4.slx	IR_pp_Abs4_PP.json
Abs5.slx	1	1	0	0	0	0	0	0		Abs5_PP.LUSTREC.lus		Abs5.slx	IR_pp_Abs5_PP.json
Abs_TestGen1.slx	1	1	0	0	0	0	0	0		Abs_TestGen1_PP.LUSTREC.lus		Abs_TestGen1.slx	IR_pp_Abs_TestGen1_PP.json
Abs_TestGen10.slx	1	1	0	0	0	0	0	0		Abs_TestGen10_PP.LUSTREC.lus		Abs_TestGen10.slx	IR_pp_Abs_TestGen10_PP.json
Abs_TestGen11.slx	1	1	0	0	0	0	0	0		Abs_TestGen11_PP.LUSTREC.lus		Abs_TestGen11.slx	IR_pp_Abs_TestGen11_PP.json
Abs_TestGen12.slx	1	1	0	0	0	0	0	0		Abs_TestGen12_PP.LUSTREC.lus		Abs_TestGen12.slx	IR_pp_Abs_TestGen12_PP.json
Abs_TestGen13.slx	1	1	0	0	0	0	0	0		Abs_TestGen13_PP.LUSTREC.lus		Abs_TestGen13.slx	IR_pp_Abs_TestGen13_PP.json
Abs_TestGen14.slx	1	1	0	0	0	0	0	0		Abs_TestGen14_PP.LUSTREC.lus		Abs_TestGen14.slx	IR_pp_Abs_TestGen14_PP.json
Abs_TestGen15.slx	1	1	0	0	0	0	0	0		Abs_TestGen15_PP.LUSTREC.lus		Abs_TestGen15.slx	IR_pp_Abs_TestGen15_PP.json
Abs_TestGen16.slx	1	1	0	0	0	0	0	0		Abs_TestGen16_PP.LUSTREC.lus		Abs_TestGen16.slx	IR_pp_Abs_TestGen16_PP.json
Abs_TestGen17.slx	1	1	0	0	0	0	0	0		Abs_TestGen17_PP.LUSTREC.lus		Abs_TestGen17.slx	IR_pp_Abs_TestGen17_PP.json
Abs_TestGen18.slx	1	1	0	0	0	0	0	0		Abs_TestGen18_PP.LUSTREC.lus		Abs_TestGen18.slx	IR_pp_Abs_TestGen18_PP.json
Abs_TestGen19.slx	1	1	0	0	0	0	0	0		Abs_TestGen19_PP.LUSTREC.lus		Abs_TestGen19.slx	IR_pp_Abs_TestGen19_PP.json
Abs_TestGen2.slx	1	1	0	0	0	0	0	0		Abs_TestGen2_PP.LUSTREC.lus		Abs_TestGen2.slx	IR_pp_Abs_TestGen2_PP.json
Abs_TestGen20.slx	1	1	0	0	0	0	0	0		Abs_TestGen20_PP.LUSTREC.lus		Abs_TestGen20.slx	IR_pp_Abs_TestGen20_PP.json
Abs_TestGen21.slx	1	1	0	0	0	0	0	0		Abs_TestGen21_PP.LUSTREC.lus		Abs_TestGen21.slx	IR_pp_Abs_TestGen21_PP.json
Abs_TestGen22.slx	1	1	0	0	0	0	0	0		Abs_TestGen22_PP.LUSTREC.lus		Abs_TestGen22.slx	IR_pp_Abs_TestGen22_PP.json
Abs_TestGen23.slx	1	1	0	0	0	0	0	0		Abs_TestGen23_PP.LUSTREC.lus		Abs_TestGen23.slx	IR_pp_Abs_TestGen23_PP.json
Abs_TestGen24.slx	1	1	0	0	0	0	0	0		Abs_TestGen24_PP.LUSTREC.lus		Abs_TestGen24.slx	IR_pp_Abs_TestGen24_PP.json
Abs_TestGen25.slx	1	1	0	0	0	0	0	0		Abs_TestGen25_PP.LUSTREC.lus		Abs_TestGen25.slx	IR_pp_Abs_TestGen25_PP.json
Abs_TestGen26.slx	1	1	0	0	0	0	0	0		Abs_TestGen26_PP.LUSTREC.lus		Abs_TestGen26.slx	IR_pp_Abs_TestGen26_PP.json
Abs_TestGen27.slx	1	1	0	0	0	0	0	0		Abs_TestGen27_PP.LUSTREC.lus		Abs_TestGen27.slx	IR_pp_Abs_TestGen27_PP.json
Abs_TestGen3.slx	1	1	0	0	0	0	0	0		Abs_TestGen3_PP.LUSTREC.lus		Abs_TestGen3.slx	IR_pp_Abs_TestGen3_PP.json
Abs_TestGen4.slx	1	1	0	0	0	0	0	0		Abs_TestGen4_PP.LUSTREC.lus		Abs_TestGen4.slx	IR_pp_Abs_TestGen4_PP.json
Abs_TestGen5.slx	1	1	0	0	0	0	0	0		Abs_TestGen5_PP.LUSTREC.lus		Abs_TestGen5.slx	IR_pp_Abs_TestGen5_PP.json
Abs_TestGen6.slx	1	1	0	0	0	0	0	0		Abs_TestGen6_PP.LUSTREC.lus		Abs_TestGen6.slx	IR_pp_Abs_TestGen6_PP.json
Abs_TestGen7.slx	1	1	0	0	0	0	0	0		Abs_TestGen7_PP.LUSTREC.lus		Abs_TestGen7.slx	IR_pp_Abs_TestGen7_PP.json
Abs_TestGen8.slx	1	1	0	0	0	0	0	0		Abs_TestGen8_PP.LUSTREC.lus		Abs_TestGen8.slx	IR_pp_Abs_TestGen8_PP.json
Abs_TestGen9.slx	1	1	0	0	0	0	0	0		Abs_TestGen9_PP.LUSTREC.lus		Abs_TestGen9.slx	IR_pp_Abs_TestGen9_PP.json