From dc8cac097ec86f2f6ccce0a65a9a1093aa23bedf Mon Sep 17 00:00:00 2001 From: Fabian Vu <Fabian.Vu@hhu.de> Date: Sun, 24 Nov 2024 23:09:09 +0100 Subject: [PATCH] Update information on used benchmarks --- benchmarks/code_gen/CAN_BUS_tlc.mch | 4 ++++ benchmarks/execution/ProB/CAN_BUS_tlc.mch | 4 ++++ benchmarks/model_checking/ProB/CAN_BUS_tlc.mch | 4 ++++ benchmarks/model_checking/TLC/CAN_BUS_tlc.mch | 4 ++++ benchmarks/model_checking_opreuse/ProB/CAN_BUS_tlc.mch | 4 ++++ benchmarks/model_checking_opreuse/TLC/CAN_BUS_tlc.mch | 4 ++++ src/test/resources/de/hhu/stups/codegenerator/CAN_BUS_tlc.mch | 1 + 7 files changed, 25 insertions(+) diff --git a/benchmarks/code_gen/CAN_BUS_tlc.mch b/benchmarks/code_gen/CAN_BUS_tlc.mch index 515fba702..1808a5573 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 515fba702..1808a5573 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 0e22b07ec..dc9c5f39d 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 515fba702..1808a5573 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 0e22b07ec..dc9c5f39d 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 0e22b07ec..dc9c5f39d 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 a26e163f3..1808a5573 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 -- GitLab