-
Ralf Jung authored
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
move test suite out of theories/ so it does not get installed; also check output of test suite so that we can test printing