src/funcheck/FunCheckPlugin.scala · 6c51c2b9ae512c2e204542c8379f6ce284babb9a · LARA / inox · GitLab

Snippets Groups Projects

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.
```

FunCheckPlugin.scala 5.48 KiB