From 996e9fd8318680255946b5a35ae03356684abd3f Mon Sep 17 00:00:00 2001 From: mondokm Date: Wed, 21 Feb 2024 10:01:12 +0100 Subject: [PATCH] Removed unnecessary comments --- .../xsts/analysis/XstsMddCheckerTest.java | 40 +++++++++---------- 1 file changed, 20 insertions(+), 20 deletions(-) diff --git a/subprojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsMddCheckerTest.java b/subprojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsMddCheckerTest.java index 439f04219f..963c9d2f9a 100644 --- a/subprojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsMddCheckerTest.java +++ b/subprojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsMddCheckerTest.java @@ -42,47 +42,47 @@ public static Collection data() { // { "src/test/resources/model/trafficlight.xsts", "src/test/resources/property/green_and_red.prop", true}, { "src/test/resources/model/trafficlight_v2.xsts", "src/test/resources/property/green_and_red.prop", true}, -// + { "src/test/resources/model/counter5.xsts", "src/test/resources/property/x_between_0_and_5.prop", true}, -// + { "src/test/resources/model/counter5.xsts", "src/test/resources/property/x_eq_5.prop", false}, { "src/test/resources/model/x_and_y.xsts", "src/test/resources/property/x_geq_y.prop", true}, -// + { "src/test/resources/model/x_powers.xsts", "src/test/resources/property/x_even.prop", true}, -// + // { "src/test/resources/model/cross_with.xsts", "src/test/resources/property/cross.prop", false}, -// + // { "src/test/resources/model/cross_without.xsts", "src/test/resources/property/cross.prop", false}, -// + { "src/test/resources/model/choices.xsts", "src/test/resources/property/choices.prop", false}, -// + // { "src/test/resources/model/literals.xsts", "src/test/resources/property/literals.prop", true}, -// + // { "src/test/resources/model/cross3.xsts", "src/test/resources/property/cross.prop", false}, -// + { "src/test/resources/model/sequential.xsts", "src/test/resources/property/sequential.prop", true}, -// + { "src/test/resources/model/sequential.xsts", "src/test/resources/property/sequential2.prop", false}, -// + { "src/test/resources/model/on_off_statemachine.xsts", "src/test/resources/property/on_off_statemachine.prop", false}, -// + { "src/test/resources/model/on_off_statemachine.xsts", "src/test/resources/property/on_off_statemachine2.prop", true}, -// + { "src/test/resources/model/on_off_statemachine.xsts", "src/test/resources/property/on_off_statemachine3.prop", false}, -// + { "src/test/resources/model/counter50.xsts", "src/test/resources/property/x_eq_5.prop", false}, -// + { "src/test/resources/model/counter50.xsts", "src/test/resources/property/x_eq_50.prop", false}, -// + { "src/test/resources/model/counter50.xsts", "src/test/resources/property/x_eq_51.prop", true}, -// + { "src/test/resources/model/count_up_down.xsts", "src/test/resources/property/count_up_down.prop", false}, -// + { "src/test/resources/model/count_up_down.xsts", "src/test/resources/property/count_up_down2.prop", true}, -// + { "src/test/resources/model/bhmr2007.xsts", "src/test/resources/property/bhmr2007.prop", true}, -// + { "src/test/resources/model/css2003.xsts", "src/test/resources/property/css2003.prop", true}, // // { "src/test/resources/model/array_counter.xsts", "src/test/resources/property/array_10.prop", false},