Merge pr #27: relax clock assignment checks to allow assignment from …

…doubles Symbolic feature: allow assigning doubles to clocks
UPPAALModelChecker · Oct 7, 2022 · 3bf8c01 · 3bf8c01
2 parents 899bf44 + b9c6ec5
commit 3bf8c01
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/featurechecker.cpp b/src/featurechecker.cpp
@@ -61,7 +61,7 @@ void FeatureChecker::visitAssignment(expression_t& ass)
 {
     switch (ass.getKind()) {
     case Constants::ASSIGN:
-        if (ass.usesFP() && !ass.usesHybrid())
+        if (ass.usesFP() && !ass.usesHybrid() && !ass.get(0).getType().isClock())
             supportedMethods.symbolic = false;
         break;
     case Constants::COMMA:

diff --git a/test/test_featurechecker.cpp b/test/test_featurechecker.cpp
@@ -131,7 +131,7 @@ TEST_CASE("Hybrid and normal clock update")
     auto document = std::make_unique<UTAP::Document>();
     parseXMLBuffer(read_content("updateHybridAndNormalClock.xml").c_str(), document.get(), true);
     UTAP::FeatureChecker checker(*document);
-    CHECK(!checker.getSupportedMethods().symbolic);
+    CHECK(checker.getSupportedMethods().symbolic);
     CHECK(checker.getSupportedMethods().stochastic);
 }