Merge pull request #26 from TAPAAL-Developers/missing_rdfs_switch

Added missing search option
TAPAAL · Feb 14, 2023 · 0ed479c · 0ed479c
2 parents d8c1a62 + dd1b346
commit 0ed479c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -8,7 +8,7 @@ endif()
 
 # Project Definition
 set(VERIFYTAPN_NAME "verifytapn")
-set(VERIFYTAPN_VERSION 1.3.1)
+set(VERIFYTAPN_VERSION 1.3.2)
 project(${VERIFYTAPN_NAME} VERSION ${VERIFYTAPN_VERSION} LANGUAGES CXX C)
 
 

diff --git a/src/Core/VerificationOptions.cpp b/src/Core/VerificationOptions.cpp
@@ -141,7 +141,7 @@ namespace VerifyTAPN {
             return BREADTHFIRST;
         if (str == "DFS")
             return DEPTHFIRST;
-        if (str == "RANDOM")
+        if (str == "RANDOM" || str == "RDFS")
             return RANDOM;
         if (str == "MAX-COVER")
             return COVERMOST;