tests/algebra.ref · f8cc4d7a38b8df958c47f5169669e3fa97d2d35a · Pierre Roux / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

7242 commits behind the upstream repository.

6 years ago
859871ab
move test suite out of theories/ so it does not get installed; also check... · 859871ab
Ralf Jung authored 6 years ago
```
move test suite out of theories/ so it does not get installed; also check output of test suite so that we can test printing
```
859871ab

History
move test suite out of theories/ so it does not get installed; also check...
Ralf Jung authored 6 years ago
```
move test suite out of theories/ so it does not get installed; also check output of test suite so that we can test printing
```