Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
sovereign
why3-avr
Commits
1430466e
Commit
1430466e
authored
Sep 06, 2019
by
Marc Schoolderman
Browse files
change wording
parent
044df936
Changes
1
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
1430466e
...
@@ -27,4 +27,4 @@ The proofs can be checked using Why3 0.88.3; as well as the following theorem pr
...
@@ -27,4 +27,4 @@ The proofs can be checked using Why3 0.88.3; as well as the following theorem pr
*
CVC4 1.4
*
CVC4 1.4
*
Eprover 1.8
*
Eprover 1.8
Then, simply running
`why3 replay -L .
avr_code
`
should work.
Then, simply running
`why3 replay -L .
file.mlw
`
should work.
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment