From 800f803e9474942ea8ee133bfb1b95833f161434 Mon Sep 17 00:00:00 2001 From: Chris <Christopher.Happe@uni-duesseldorf.de> Date: Sun, 28 Feb 2021 11:05:16 +0100 Subject: [PATCH] Add tests for lustre benchmarks in python. --- .../M_DockingApproachExample_Ext_execAddition.stpy | 3 +++ .../codegenerator/lustre_benchmarks/M_Lift_execAddition.stpy | 3 +++ .../lustre_benchmarks/M_MovingItem_main_execAddition.stpy | 3 +++ .../lustre_benchmarks/M_Press_main_execAddition.stpy | 3 +++ .../lustre_benchmarks/M_Rbase_main_execAddition.stpy | 3 +++ .../lustre_benchmarks/M_Rgrips_main_execAddition.stpy | 3 +++ .../lustre_benchmarks/M_SLOW_TIME_STABLE_execAddition.stpy | 3 +++ .../lustre_benchmarks/M_SubmodeExample_execAddition.stpy | 3 +++ .../lustre_benchmarks/M_UMS_main_execAddition.stpy | 3 +++ .../lustre_benchmarks/M_UMS_verif_execAddition.stpy | 3 +++ .../lustre_benchmarks/M_VerifyMovingItem_execAddition.stpy | 3 +++ .../lustre_benchmarks/M_carlights2_v4_execAddition.stpy | 3 +++ .../lustre_benchmarks/M_pilot_flying_execAddition.stpy | 3 +++ .../lustre_benchmarks/M_speed_main_execAddition.stpy | 3 +++ .../lustre_benchmarks/M_speed_verif_execAddition.stpy | 3 +++ .../M_microbenchmarks_and_execAddition.stpy | 3 +++ .../M_microbenchmarks_assertion_execAddition.stpy | 3 +++ .../M_microbenchmarks_current_boolean_execAddition.stpy | 3 +++ .../M_microbenchmarks_current_integer_execAddition.stpy | 3 +++ .../M_microbenchmarks_divide_integer_execAddition.stpy | 3 +++ .../M_microbenchmarks_equal_boolean_execAddition.stpy | 3 +++ .../M_microbenchmarks_equal_integer_execAddition.stpy | 3 +++ .../M_microbenchmarks_fby_boolean_execAddition.stpy | 3 +++ .../M_microbenchmarks_fby_integer_execAddition.stpy | 3 +++ .../M_microbenchmarks_greater_equal_integer_execAddition.stpy | 3 +++ .../M_microbenchmarks_greater_integer_execAddition.stpy | 3 +++ .../M_microbenchmarks_ite_boolean_execAddition.stpy | 3 +++ .../M_microbenchmarks_ite_integer_execAddition.stpy | 3 +++ .../M_microbenchmarks_less_equal_integer_execAddition.stpy | 3 +++ .../M_microbenchmarks_less_integer_execAddition.stpy | 3 +++ .../M_microbenchmarks_many_clocks_execAddition.stpy | 3 +++ .../M_microbenchmarks_many_local_clocks_execAddition.stpy | 3 +++ .../M_microbenchmarks_minus_integer_execAddition.stpy | 3 +++ .../M_microbenchmarks_modulo_execAddition.stpy | 3 +++ .../M_microbenchmarks_multiply_integer_execAddition.stpy | 3 +++ .../M_microbenchmarks_node_call_execAddition.stpy | 3 +++ .../M_microbenchmarks_not_execAddition.stpy | 3 +++ .../M_microbenchmarks_or_execAddition.stpy | 3 +++ .../M_microbenchmarks_plus_integer_execAddition.stpy | 3 +++ .../M_microbenchmarks_pre_boolean_execAddition.stpy | 3 +++ .../M_microbenchmarks_pre_integer_execAddition.stpy | 3 +++ .../M_microbenchmarks_unary_minus_integer_execAddition.stpy | 3 +++ .../M_microbenchmarks_unequal_boolean_execAddition.stpy | 3 +++ .../M_microbenchmarks_unequal_integer_execAddition.stpy | 4 ++++ .../M_microbenchmarks_when_boolean_execAddition.stpy | 3 +++ .../M_microbenchmarks_when_integer_execAddition.stpy | 3 +++ 46 files changed, 139 insertions(+) create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_DockingApproachExample_Ext_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Lift_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_MovingItem_main_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Press_main_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Rbase_main_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Rgrips_main_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_SLOW_TIME_STABLE_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_SubmodeExample_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_UMS_main_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_UMS_verif_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_VerifyMovingItem_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_carlights2_v4_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_pilot_flying_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_speed_main_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_speed_verif_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_and_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_assertion_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_current_boolean_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_current_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_divide_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_equal_boolean_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_equal_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_fby_boolean_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_fby_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_greater_equal_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_greater_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_ite_boolean_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_ite_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_less_equal_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_less_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_many_clocks_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_many_local_clocks_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_minus_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_modulo_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_multiply_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_node_call_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_not_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_or_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_plus_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_pre_boolean_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_pre_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_unary_minus_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_unequal_boolean_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_unequal_integer_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_when_boolean_execAddition.stpy create mode 100644 src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_when_integer_execAddition.stpy diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_DockingApproachExample_Ext_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_DockingApproachExample_Ext_execAddition.stpy new file mode 100644 index 000000000..80370b40c --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_DockingApproachExample_Ext_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_DockingApproachExample_Ext_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Lift_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Lift_execAddition.stpy new file mode 100644 index 000000000..9c561f275 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Lift_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_Lift_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_MovingItem_main_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_MovingItem_main_execAddition.stpy new file mode 100644 index 000000000..f3b28f726 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_MovingItem_main_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_MovingItem_main_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Press_main_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Press_main_execAddition.stpy new file mode 100644 index 000000000..0760df698 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Press_main_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_Press_main_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Rbase_main_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Rbase_main_execAddition.stpy new file mode 100644 index 000000000..2be463fbb --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Rbase_main_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_Rbase_main_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Rgrips_main_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Rgrips_main_execAddition.stpy new file mode 100644 index 000000000..1c8c1507a --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_Rgrips_main_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_Rgrips_main_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_SLOW_TIME_STABLE_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_SLOW_TIME_STABLE_execAddition.stpy new file mode 100644 index 000000000..d950ee736 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_SLOW_TIME_STABLE_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_SLOW_TIME_STABLE_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_SubmodeExample_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_SubmodeExample_execAddition.stpy new file mode 100644 index 000000000..86d4da151 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_SubmodeExample_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_SubmodeExample_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_UMS_main_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_UMS_main_execAddition.stpy new file mode 100644 index 000000000..0d10b7296 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_UMS_main_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_UMS_main_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_UMS_verif_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_UMS_verif_execAddition.stpy new file mode 100644 index 000000000..ab242b0fd --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_UMS_verif_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_UMS_verif_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_VerifyMovingItem_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_VerifyMovingItem_execAddition.stpy new file mode 100644 index 000000000..a2a4884cd --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_VerifyMovingItem_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_VerifyMovingItem_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_carlights2_v4_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_carlights2_v4_execAddition.stpy new file mode 100644 index 000000000..a45eb60aa --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_carlights2_v4_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_carlights2_v4_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_pilot_flying_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_pilot_flying_execAddition.stpy new file mode 100644 index 000000000..005f75b14 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_pilot_flying_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_pilot_flying_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_speed_main_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_speed_main_execAddition.stpy new file mode 100644 index 000000000..28bbffa98 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_speed_main_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_speed_main_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_speed_verif_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_speed_verif_execAddition.stpy new file mode 100644 index 000000000..fb7f49e83 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_benchmarks/M_speed_verif_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_speed_verif_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_and_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_and_execAddition.stpy new file mode 100644 index 000000000..7c8d6f205 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_and_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_and_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_assertion_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_assertion_execAddition.stpy new file mode 100644 index 000000000..4ac11a263 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_assertion_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_assertion_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_current_boolean_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_current_boolean_execAddition.stpy new file mode 100644 index 000000000..d7d7ed778 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_current_boolean_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_current_boolean_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_current_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_current_integer_execAddition.stpy new file mode 100644 index 000000000..a84df5e13 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_current_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_current_integer_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_divide_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_divide_integer_execAddition.stpy new file mode 100644 index 000000000..83b542836 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_divide_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_divide_integer_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_equal_boolean_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_equal_boolean_execAddition.stpy new file mode 100644 index 000000000..a09c24921 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_equal_boolean_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_equal_boolean_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_equal_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_equal_integer_execAddition.stpy new file mode 100644 index 000000000..e28e552e8 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_equal_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_equal_integer_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_fby_boolean_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_fby_boolean_execAddition.stpy new file mode 100644 index 000000000..9fc15fa6f --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_fby_boolean_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_fby_boolean_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_fby_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_fby_integer_execAddition.stpy new file mode 100644 index 000000000..7f602f32d --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_fby_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_fby_integer_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_greater_equal_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_greater_equal_integer_execAddition.stpy new file mode 100644 index 000000000..61581bcea --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_greater_equal_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_greater_equal_integer_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_greater_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_greater_integer_execAddition.stpy new file mode 100644 index 000000000..68d60d7b8 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_greater_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_greater_integer_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_ite_boolean_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_ite_boolean_execAddition.stpy new file mode 100644 index 000000000..8929a2d69 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_ite_boolean_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_ite_boolean_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_ite_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_ite_integer_execAddition.stpy new file mode 100644 index 000000000..7fb7a369a --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_ite_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_ite_integer_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_less_equal_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_less_equal_integer_execAddition.stpy new file mode 100644 index 000000000..5e5ba13d0 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_less_equal_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_less_equal_integer_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_less_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_less_integer_execAddition.stpy new file mode 100644 index 000000000..de240a2b3 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_less_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_less_integer_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_many_clocks_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_many_clocks_execAddition.stpy new file mode 100644 index 000000000..4cfb4fb34 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_many_clocks_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_many_clocks_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_many_local_clocks_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_many_local_clocks_execAddition.stpy new file mode 100644 index 000000000..b8bce5430 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_many_local_clocks_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_many_local_clocks_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_minus_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_minus_integer_execAddition.stpy new file mode 100644 index 000000000..fe41c8997 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_minus_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_minus_integer_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_modulo_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_modulo_execAddition.stpy new file mode 100644 index 000000000..a08ec6459 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_modulo_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_modulo_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_multiply_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_multiply_integer_execAddition.stpy new file mode 100644 index 000000000..5759ef885 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_multiply_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_multiply_integer_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_node_call_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_node_call_execAddition.stpy new file mode 100644 index 000000000..f7a156870 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_node_call_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_node_call_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_not_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_not_execAddition.stpy new file mode 100644 index 000000000..89b945ffe --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_not_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_not_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_or_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_or_execAddition.stpy new file mode 100644 index 000000000..49484a540 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_or_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_or_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_plus_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_plus_integer_execAddition.stpy new file mode 100644 index 000000000..fab3cc67f --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_plus_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_plus_integer_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_pre_boolean_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_pre_boolean_execAddition.stpy new file mode 100644 index 000000000..9bc573f02 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_pre_boolean_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_pre_boolean_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_pre_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_pre_integer_execAddition.stpy new file mode 100644 index 000000000..bf73748ca --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_pre_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_pre_integer_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_unary_minus_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_unary_minus_integer_execAddition.stpy new file mode 100644 index 000000000..03d225444 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_unary_minus_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_unary_minus_integer_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_unequal_boolean_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_unequal_boolean_execAddition.stpy new file mode 100644 index 000000000..c005168e2 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_unequal_boolean_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_unequal_boolean_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_unequal_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_unequal_integer_execAddition.stpy new file mode 100644 index 000000000..c8c3fb7fd --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_unequal_integer_execAddition.stpy @@ -0,0 +1,4 @@ +public static void main(String[] args) { + M_microbenchmarks_unequal_integer_exec program = new M_microbenchmarks_unequal_integer_exec(); + program.simulate(); +} \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_when_boolean_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_when_boolean_execAddition.stpy new file mode 100644 index 000000000..f54daabfe --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_when_boolean_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_when_boolean_exec() + program.simulate() \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_when_integer_execAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_when_integer_execAddition.stpy new file mode 100644 index 000000000..df45407f2 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/lustre_microbenchmarks/M_microbenchmarks_when_integer_execAddition.stpy @@ -0,0 +1,3 @@ +if __name__ == '__main__': + program = M_microbenchmarks_when_integer_exec() + program.simulate() \ No newline at end of file -- GitLab