Skip to content

Commit

Permalink
Update README.md (#838)
Browse files Browse the repository at this point in the history 
Fixed stale documentation.
  • Loading branch information
@shazqadeer
shazqadeer authored Jan 26, 2024
1 parent a09ff24 commit ee940c3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -88,7 +88,7 @@ Call Boogie with `/proverOpt:SOLVER=CVC5`.

### Yices2 (experimental)

Call Boogie with `/proverOpt:SOLVER=Yices2 /useArrayTheory`.
Call Boogie with `/proverOpt:SOLVER=Yices2`.

Works for unquantified fragments, e.g. arrays + arithmetic + bitvectors. Does
not work for quantifiers, generalized arrays, datatypes.
Expand Down

0 comments on commit ee940c3

Please sign in to comment.