src/test/scala/leon/regression/termination/TerminationSuite.scala · cc618ebdb1e633566e58bd49caa0cf9a28a33607 · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
cc618ebd
Termination does not need xlang · cc618ebd
Manos Koukoutos authored 9 years ago
```
Remove weird test case (no idea why it worked)
```
cc618ebd

History
Termination does not need xlang
Manos Koukoutos authored 9 years ago
```
Remove weird test case (no idea why it worked)
```

TerminationSuite.scala 4.08 KiB