src/test/resources/regression/termination/looping/LambdaCalculus.scala · 2a590b8d62e87a64113e5f9f93e8b95f7832fa95 · LARA / inox · GitLab

Snippets Groups Projects

10 years ago
2a590b8d
prefix the looping functions with "looping" so that · 2a590b8d
Samuel Gruetter authored 10 years ago
```
the TerminationRegression test checks if counterexamples are found
```
2a590b8d

History
prefix the looping functions with "looping" so that
Samuel Gruetter authored 10 years ago
```
the TerminationRegression test checks if counterexamples are found
```