LUSTREC_regression_result_22-10-2020@230059.csv

Date: 2020-10-22 23:00:59
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
Delay1.slx	1	1	0	0	0	0	0	0		Delay1_PP.LUSTREC.lus		Delay1.slx	IR_pp_Delay1_PP.json
Delay2.slx	1	1	0	0	0	0	0	0		Delay2_PP.LUSTREC.lus		Delay2.slx	IR_pp_Delay2_PP.json
Delay3.slx	1	1	0	0	0	0	0	0		Delay3_PP.LUSTREC.lus		Delay3.slx	IR_pp_Delay3_PP.json
Delay4.slx	1	1	0	0	0	0	0	0		Delay4_PP.LUSTREC.lus		Delay4.slx	IR_pp_Delay4_PP.json
Delay5.slx	1	1	0	0	0	0	0	0		Delay5_PP.LUSTREC.lus		Delay5.slx	IR_pp_Delay5_PP.json
Delay6.slx	1	1	0	0	0	0	0	0		Delay6_PP.LUSTREC.lus		Delay6.slx	IR_pp_Delay6_PP.json
Delay7.slx	1	1	0	0	0	0	0	0		Delay7_PP.LUSTREC.lus		Delay7.slx	IR_pp_Delay7_PP.json
DelayBus.slx	1	1	0	0	0	0	0	0		DelayBus_PP.LUSTREC.lus		DelayBus.slx	IR_pp_DelayBus_PP.json
Delay_TestGen1.slx	1	1	0	0	0	0	0	0		Delay_TestGen1_PP.LUSTREC.lus		Delay_TestGen1.slx	IR_pp_Delay_TestGen1_PP.json
Delay_TestGen2.slx	1	1	0	0	0	0	0	0		Delay_TestGen2_PP.LUSTREC.lus		Delay_TestGen2.slx	IR_pp_Delay_TestGen2_PP.json
Delay_TestGen3.slx	1	1	0	0	0	0	0	0		Delay_TestGen3_PP.LUSTREC.lus		Delay_TestGen3.slx	IR_pp_Delay_TestGen3_PP.json
Delay_TestGen4.slx	1	1	0	0	0	0	0	0		Delay_TestGen4_PP.LUSTREC.lus		Delay_TestGen4.slx	IR_pp_Delay_TestGen4_PP.json