GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-28 01:35:33 +03:00
Code Issues Projects Releases Wiki Activity

Fix macaw-symbolic compile error.

Browse Source
This commit is contained in:
Joe Hendrix 2017-10-17 14:09:48 -07:00
parent 5eaf2605ed
commit 3f9e470b84
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -277,7 +277,8 @@ appToCrucible app = do
M.BVShl w x y -> appAtom =<< C.BVShl w <$> v2c x <*> v2c y M.BVShl w x y -> appAtom =<< C.BVShl w <$> v2c x <*> v2c y
M.BVShr w x y -> appAtom =<< C.BVLshr w <$> v2c x <*> v2c y M.BVShr w x y -> appAtom =<< C.BVLshr w <$> v2c x <*> v2c y
M.BVSar w x y -> appAtom =<< C.BVAshr w <$> v2c x <*> v2c y M.BVSar w x y -> appAtom =<< C.BVAshr w <$> v2c x <*> v2c y
M.UadcOverflows w x y c -> do M.UadcOverflows x y c -> do
let w = M.typeWidth x
let w' = incNat w let w' = incNat w
x' <- zext1 w =<< v2c x x' <- zext1 w =<< v2c x
y' <- zext1 w =<< v2c y y' <- zext1 w =<< v2c y