Commit 42af48e
Remi Delmas
Refresh memory predicate documentation, add paragraph about using pointer predicates in disjunctions.
1 parent a23bcae commit 42af48e
File tree
1 file changed
+172
-219
lines changed- src/goto-instrument/contracts/doc/user
1 file changed
+172
-219
lines changed
0 commit comments