- 14 Jun, 2018 2 commits
- 25 May, 2018 2 commits
- 17 May, 2018 3 commits
- 03 Feb, 2018 2 commits
- 21 Sep, 2017 1 commit
-
-
Ralf Jung authored
-
mktemp seems to also be available on macOS -- though without `--suffix`.
move test suite out of theories/ so it does not get installed; also check output of test suite so that we can test printing