Commit 309c77c
Remi Delmas
Refresh memory predicate documentation, add paragraph about using pointer predicates in disjunctions.
1 parent 1cc4bc2 commit 309c77c
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