fixing regular expression problem

SRI-CSL · May 21, 2018 · c9856e7 · c9856e7
1 parent 08ed824
commit c9856e7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 23 deletions.
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -62,7 +62,7 @@ foreach(FILE ${regressions})
     # Get the gold output
     file(READ "${FILE}.gold" GOLD_OUTPUT)
     # Set the output
-    set_tests_properties(${FILE} PROPERTIES PASS_REGULAR_EXPRESSION ${GOLD_OUTPUT})
+    set_tests_properties(${FILE} PROPERTIES PASS_REGULAR_EXPRESSION "${GOLD_OUTPUT}")
   endif()
 
 endforeach(FILE)

diff --git a/test/regress/bmc/nra/algebraic.mcmt.gold b/test/regress/bmc/nra/algebraic.mcmt.gold
@@ -1,23 +1,2 @@
-invalid
-(trace 
-  (state
-    (P 1)
-    (x (/ (- 1792728671193156477399422023279) 1267650600228229401496703205376))
-    (n 0)
-  )
-  (input
-  )
-  (state
-    (P (/ (- 1792728671193156477399422023279) 1267650600228229401496703205376))
-    (x (/ (- 1792728671193156477399422023279) 1267650600228229401496703205376))
-    (n 1)
-  )
-  (input
-  )
-  (state
-    (P 2)
-    (x (/ (- 1792728671193156477399422023279) 1267650600228229401496703205376))
-    (n 2)
-  )
-)
+invalid.*1792728671193156477399422023279.*1267650600228229401496703205376.*