project/build/funcheck.scala · 6c51c2b9ae512c2e204542c8379f6ce284babb9a · LARA / inox · GitLab

Snippets Groups Projects

"README.md" did not exist on "ec92b4cca82a960c8b9592b32496043c93f409b7"

14 years ago
6c51c2b9
There's a new prefered way of running funcheck: · 6c51c2b9
Philippe Suter authored 14 years ago
```
after sbt package all, run:

./funcheck --CAV yourfile.scala

That's it.
```
6c51c2b9

History
There's a new prefered way of running funcheck:
Philippe Suter authored 14 years ago
```
after sbt package all, run:

./funcheck --CAV yourfile.scala

That's it.
```