Merge pull request #61 from GaloisInc/issue59

Reimplement saw-core `error` with `userError` instead of `panic`.
GaloisInc · Jul 29, 2020 · 702dbfc · 702dbfc
2 parents 6531359 + 7911931
commit 702dbfc
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/saw-core/src/Verifier/SAW/Simulator/Prims.hs b/saw-core/src/Verifier/SAW/Simulator/Prims.hs
@@ -39,6 +39,7 @@ import Numeric.Natural (Natural)
 import Verifier.SAW.Term.Functor (Ident, alistAllFields)
 import Verifier.SAW.Simulator.Value
 import Verifier.SAW.Prim
+import qualified Verifier.SAW.Prim as Prim
 
 import qualified Verifier.SAW.Utils as Panic (panic)
 
@@ -1191,8 +1192,8 @@ errorOp =
   constFun $
   strictFun $ \x ->
   case x of
-    VString s -> panic s
-    _ -> panic "unknown error"
+    VString s -> Prim.userError s
+    _ -> Prim.userError "unknown error"
 
 ------------------------------------------------------------
 -- Conditionals