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 0000000000000000000000000000000000000000..80370b40c3c337e529ed89a0b89ad3fb07410b5d
--- /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 0000000000000000000000000000000000000000..9c561f27527171e33f67d4061ffa3a8badcbe2d6
--- /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 0000000000000000000000000000000000000000..f3b28f72613dc8dbc33f640ff5650e872dae8494
--- /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 0000000000000000000000000000000000000000..0760df698bae656149f5f29a2fc5a520b771cb39
--- /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 0000000000000000000000000000000000000000..2be463fbbd6c2b3f2f848952583978b130e267f8
--- /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 0000000000000000000000000000000000000000..1c8c1507a397219a98a82a17fc3a433d49c49771
--- /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 0000000000000000000000000000000000000000..d950ee7360426c42ac10128d4eadddecd09f080d
--- /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 0000000000000000000000000000000000000000..86d4da151089fb412f72c561086629e060c767bc
--- /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 0000000000000000000000000000000000000000..0d10b72965b05befea5645f8fdaa766a3f9091e5
--- /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 0000000000000000000000000000000000000000..ab242b0fd5e583ee132de402ec7367e7b97c4d77
--- /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 0000000000000000000000000000000000000000..a2a4884cd592ed3d6702732668d95844f38b079f
--- /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 0000000000000000000000000000000000000000..a45eb60aad8525b9fc2d660296227ca34495fc1f
--- /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 0000000000000000000000000000000000000000..005f75b141c56948aac0cb95097217f50bcc518a
--- /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 0000000000000000000000000000000000000000..28bbffa98d9daee42ead9534a7a37bf059a9db9a
--- /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 0000000000000000000000000000000000000000..fb7f49e839568223ad9144d147b612b788926566
--- /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 0000000000000000000000000000000000000000..7c8d6f20577f0760e4ff4cc1853ca1cf5439c3aa
--- /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 0000000000000000000000000000000000000000..4ac11a2636a46598d7d89fd8faafa1f2297f5bb0
--- /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 0000000000000000000000000000000000000000..d7d7ed778507b554bd9c789944d5ea90d17acf18
--- /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 0000000000000000000000000000000000000000..a84df5e13fd6cc6dc7e99950ac81c21794a22ffb
--- /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 0000000000000000000000000000000000000000..83b542836b4aebfde29dc04961f919c9dbeece95
--- /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 0000000000000000000000000000000000000000..a09c24921ae8e5d38e1a39ced7be5bffe41a653e
--- /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 0000000000000000000000000000000000000000..e28e552e8cc20fcab1914fcce01fee9e24521c0b
--- /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 0000000000000000000000000000000000000000..9fc15fa6f5c765bacca6f135325d06d11099a4b1
--- /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 0000000000000000000000000000000000000000..7f602f32dd3f99336598ce3be31b1a25d9ba71d9
--- /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 0000000000000000000000000000000000000000..61581bceacb4e27078c18a2e4665130f0d194fae
--- /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 0000000000000000000000000000000000000000..68d60d7b80b80dab8a0cfbc06f799a0d36b0a7e6
--- /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 0000000000000000000000000000000000000000..8929a2d69b2a86a79e58c0f17d89173c3a26a8c2
--- /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 0000000000000000000000000000000000000000..7fb7a369a92472cb7124a7f16593e641db280e75
--- /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 0000000000000000000000000000000000000000..5e5ba13d0b54b4cd043007ed2d4d50c9c5cd5e28
--- /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 0000000000000000000000000000000000000000..de240a2b3262d1eef7a9864d0e0f423b753b46f0
--- /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 0000000000000000000000000000000000000000..4cfb4fb34855c759e1eaa400a5173b1ad9dfc692
--- /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 0000000000000000000000000000000000000000..b8bce5430efc6097c3988f79fae55360f450636d
--- /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 0000000000000000000000000000000000000000..fe41c89970ab9a3493188de2f3f27bb69a1ac5f5
--- /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 0000000000000000000000000000000000000000..a08ec64596a910077059ad8a9c7adedd6bc1203e
--- /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 0000000000000000000000000000000000000000..5759ef885e1b1ea3c3cd3fd92c8764cc51ff3241
--- /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 0000000000000000000000000000000000000000..f7a156870fad64831f399b7256ddef073c8a3612
--- /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 0000000000000000000000000000000000000000..89b945ffe8e4d9c62dc254a8e18c3a2f58708473
--- /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 0000000000000000000000000000000000000000..49484a54067624867cf3d481740e5d6897ace4af
--- /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 0000000000000000000000000000000000000000..fab3cc67f2a4059dbf4f4e456251091d4dcb28da
--- /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 0000000000000000000000000000000000000000..9bc573f021f49f6d87fc6ba1630a1dee12d8e694
--- /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 0000000000000000000000000000000000000000..bf73748cae0739a85b9d41073b532eac8883f2e3
--- /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 0000000000000000000000000000000000000000..03d2254441f87e0a7de0f3d36d4a904428e019b8
--- /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 0000000000000000000000000000000000000000..c005168e2c4cd73308120709c1c972f6b767eb77
--- /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 0000000000000000000000000000000000000000..c8c3fb7fdebc5079230408520fddc33913dbd530
--- /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 0000000000000000000000000000000000000000..f54daabfeedafdbcc5320547d7c5372eec9859a5
--- /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 0000000000000000000000000000000000000000..df45407f20a6eda3d63946326a3c61a5fba406c8
--- /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