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

Fix missing case in macaw-symbolic

Browse Source
This commit is contained in:
Joe Hendrix 2019-05-30 23:39:38 -07:00
parent 5c097b45b7
commit 6a4b75852f
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
symbolic/src/Data/Macaw/Symbolic.hs
View File

@ -725,6 +725,9 @@ doBitcast sym x eqPr =
C.iFloatFromBinary sym (floatInfoToCrucible f) xbv
M.VecEqCongruence _n eltPr -> do
forM x $ \e -> doBitcast sym e eltPr
M.WidthEqTrans p q -> do
y <- doBitcast sym x p
doBitcast sym y q
evalMacawExprExtension :: forall sym arch f tp
. IsSymInterface sym