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

[symbolic] update to latest crucible.

Browse Source
This commit is contained in:
Kevin Quick 2019-02-19 08:24:45 -08:00
parent 228b0085d6
commit b80ab8fb67
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
2 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
deps/crucible vendored

@ -1 +1 @@
Subproject commit 56f93e81d321cc215eb64623ca3012440dca5fe9 Subproject commit 50700454f0d5ba0b0beb23455bd5e27d216bef74

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

@ -398,8 +398,7 @@ doPtrEq = ptrOp $ \sym mem w xPtr xBits yPtr yBits x y ->
do okP1 <- isValidPtr sym mem w x do okP1 <- isValidPtr sym mem w x
okP2 <- isValidPtr sym mem w y okP2 <- isValidPtr sym mem w y
ok <- andPred sym okP1 okP2 ok <- andPred sym okP1 okP2
(p1, p2) <- ptrEq sym nw x y ps <- ptrEq sym nw x y
ps <- andPred sym p1 p2
endCaseCheck ok "Comparing invalid pointers" ps endCaseCheck ok "Comparing invalid pointers" ps
] ]