diff --git a/benchmarks/code_gen/CAN_BUS_tlc.mch b/benchmarks/code_gen/CAN_BUS_tlc.mch index 515fba702b65f99665dd020b4e93057b90c86fe2..1808a5573bf44119ff79b78755f6bb36e152fe47 100644 --- a/benchmarks/code_gen/CAN_BUS_tlc.mch +++ b/benchmarks/code_gen/CAN_BUS_tlc.mch @@ -1,3 +1,7 @@ +/* +Developed by J.Colley +Optimized for TLC +*/ MACHINE CAN_BUS_tlc SETS diff --git a/benchmarks/execution/ProB/CAN_BUS_tlc.mch b/benchmarks/execution/ProB/CAN_BUS_tlc.mch index 515fba702b65f99665dd020b4e93057b90c86fe2..1808a5573bf44119ff79b78755f6bb36e152fe47 100644 --- a/benchmarks/execution/ProB/CAN_BUS_tlc.mch +++ b/benchmarks/execution/ProB/CAN_BUS_tlc.mch @@ -1,3 +1,7 @@ +/* +Developed by J.Colley +Optimized for TLC +*/ MACHINE CAN_BUS_tlc SETS diff --git a/benchmarks/model_checking/ProB/CAN_BUS_tlc.mch b/benchmarks/model_checking/ProB/CAN_BUS_tlc.mch index 0e22b07ec8a0340a1a879b6b20822bbd1115cb5d..dc9c5f39de6c136910d27ba834ec7374922613e0 100644 --- a/benchmarks/model_checking/ProB/CAN_BUS_tlc.mch +++ b/benchmarks/model_checking/ProB/CAN_BUS_tlc.mch @@ -1,3 +1,7 @@ +/* +Developed by J.Colley +Optimized for TLC +*/ MACHINE CAN_BUS_tlc SETS diff --git a/benchmarks/model_checking/TLC/CAN_BUS_tlc.mch b/benchmarks/model_checking/TLC/CAN_BUS_tlc.mch index 515fba702b65f99665dd020b4e93057b90c86fe2..1808a5573bf44119ff79b78755f6bb36e152fe47 100644 --- a/benchmarks/model_checking/TLC/CAN_BUS_tlc.mch +++ b/benchmarks/model_checking/TLC/CAN_BUS_tlc.mch @@ -1,3 +1,7 @@ +/* +Developed by J.Colley +Optimized for TLC +*/ MACHINE CAN_BUS_tlc SETS diff --git a/benchmarks/model_checking_opreuse/ProB/CAN_BUS_tlc.mch b/benchmarks/model_checking_opreuse/ProB/CAN_BUS_tlc.mch index 0e22b07ec8a0340a1a879b6b20822bbd1115cb5d..dc9c5f39de6c136910d27ba834ec7374922613e0 100644 --- a/benchmarks/model_checking_opreuse/ProB/CAN_BUS_tlc.mch +++ b/benchmarks/model_checking_opreuse/ProB/CAN_BUS_tlc.mch @@ -1,3 +1,7 @@ +/* +Developed by J.Colley +Optimized for TLC +*/ MACHINE CAN_BUS_tlc SETS diff --git a/benchmarks/model_checking_opreuse/TLC/CAN_BUS_tlc.mch b/benchmarks/model_checking_opreuse/TLC/CAN_BUS_tlc.mch index 0e22b07ec8a0340a1a879b6b20822bbd1115cb5d..dc9c5f39de6c136910d27ba834ec7374922613e0 100644 --- a/benchmarks/model_checking_opreuse/TLC/CAN_BUS_tlc.mch +++ b/benchmarks/model_checking_opreuse/TLC/CAN_BUS_tlc.mch @@ -1,3 +1,7 @@ +/* +Developed by J.Colley +Optimized for TLC +*/ MACHINE CAN_BUS_tlc SETS diff --git a/src/test/resources/de/hhu/stups/codegenerator/CAN_BUS_tlc.mch b/src/test/resources/de/hhu/stups/codegenerator/CAN_BUS_tlc.mch index a26e163f370a96da624c232f53f114d8199f080c..1808a5573bf44119ff79b78755f6bb36e152fe47 100644 --- a/src/test/resources/de/hhu/stups/codegenerator/CAN_BUS_tlc.mch +++ b/src/test/resources/de/hhu/stups/codegenerator/CAN_BUS_tlc.mch @@ -1,5 +1,6 @@ /* Developed by J.Colley +Optimized for TLC */ MACHINE CAN_BUS_tlc