diff --git a/src/test/resources/de/hhu/stups/codegenerator/WDCheck.mch b/src/test/resources/de/hhu/stups/codegenerator/WDCheck.mch index 81d9a0d697492d59624b85c6e43e5d1ef2eb3592..94c9554a05432ac7c17554a22ea7232dbae8eaf4 100644 --- a/src/test/resources/de/hhu/stups/codegenerator/WDCheck.mch +++ b/src/test/resources/de/hhu/stups/codegenerator/WDCheck.mch @@ -1,3 +1,6 @@ +/* +From ProB examples +*/ MACHINE WDCheck VARIABLES SS