GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-28 08:34:23 +03:00
Code Issues Projects Releases Wiki Activity

Show unsupported Crucible elt in error message.

Browse Source
This commit is contained in:
Kevin Quick 2018-02-20 08:46:57 -08:00
parent c94f02d071
commit ef503793b7
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
macaw-semmc/src/Data/Macaw/SemMC/TH.hs
View File

@ -624,5 +624,5 @@ defaultAppEvaluator elt interps = case elt of
e1 <- addEltTH interps bv1
e2 <- addEltTH interps bv2
liftQ [| return (G.AppExpr (M.BVUrem $(natReprTH w) $(return e1) $(return e2))) |]
_ -> liftQ [| error "unsupported Crucible elt" |]
_ -> error $ "unsupported Crucible elt:" ++ show elt