Update information on used benchmarks

dc8cac09 · Fabian Vu · 1ab50739 · dc8cac09 · dc8cac09 · dc8cac09
Commit dc8cac09 authored 8 months ago by Fabian Vu
--- a/benchmarks/code_gen/CAN_BUS_tlc.mch
+++ b/benchmarks/code_gen/CAN_BUS_tlc.mch
+/*
+Developed by J.Colley
+Optimized for TLC
+*/
 MACHINE CAN_BUS_tlc
 SETS

--- a/benchmarks/execution/ProB/CAN_BUS_tlc.mch
+++ b/benchmarks/execution/ProB/CAN_BUS_tlc.mch
+/*
+Developed by J.Colley
+Optimized for TLC
+*/
 MACHINE CAN_BUS_tlc
 SETS

--- a/benchmarks/model_checking/ProB/CAN_BUS_tlc.mch
+++ b/benchmarks/model_checking/ProB/CAN_BUS_tlc.mch
+/*
+Developed by J.Colley
+Optimized for TLC
+*/
 MACHINE CAN_BUS_tlc
 SETS

--- a/benchmarks/model_checking/TLC/CAN_BUS_tlc.mch
+++ b/benchmarks/model_checking/TLC/CAN_BUS_tlc.mch
+/*
+Developed by J.Colley
+Optimized for TLC
+*/
 MACHINE CAN_BUS_tlc
 SETS

--- a/benchmarks/model_checking_opreuse/ProB/CAN_BUS_tlc.mch
+++ b/benchmarks/model_checking_opreuse/ProB/CAN_BUS_tlc.mch
+/*
+Developed by J.Colley
+Optimized for TLC
+*/
 MACHINE CAN_BUS_tlc
 SETS

--- a/benchmarks/model_checking_opreuse/TLC/CAN_BUS_tlc.mch
+++ b/benchmarks/model_checking_opreuse/TLC/CAN_BUS_tlc.mch
+/*
+Developed by J.Colley
+Optimized for TLC
+*/
 MACHINE CAN_BUS_tlc
 SETS

--- a/src/test/resources/de/hhu/stups/codegenerator/CAN_BUS_tlc.mch
+++ b/src/test/resources/de/hhu/stups/codegenerator/CAN_BUS_tlc.mch
 /*
 Developed by J.Colley
+Optimized for TLC
 */
 MACHINE CAN_BUS_tlc