Skip to content
Snippets Groups Projects
Commit 134134e8 authored by Julien Girard-Satabin's avatar Julien Girard-Satabin
Browse files

[doc]README now states example files are in the example folder.

parent 85ab261b
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
README.md
+ 2
− 2
View file @ 134134e8
...@@ -100,8 +100,8 @@ caisar verify --prover=PROVER FILE ...@@ -100,8 +100,8 @@ caisar verify --prover=PROVER FILE
`FILE` defines the property to verify, and it must be `FILE` defines the property to verify, and it must be
written in the [WhyML](https://why3.lri.fr/doc-0.80/manual004.html) language. written in the [WhyML](https://why3.lri.fr/doc-0.80/manual004.html) language.
Examples of [WhyML](https://why3.lri.fr/doc-0.80/manual004.html) files (`.mlw`) Examples of [WhyML](https://why3.lri.fr/doc-0.80/manual004.html) files (`.why`)
can be found in the [tests](https://git.frama-c.com/pub/caisar/-/tree/master/tests) can be found in the [examples](https://git.frama-c.com/pub/caisar/-/tree/master/examples)
folder. folder.
### External provers detection ### External provers detection
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment