3 commits

Author	SHA1	Message	Date
Snaipe	9a68415eb2	cram: Fixed tests to account for time	2016-09-04 12:19:56 +02:00
commit	f442488f19	Visibility change: ... The numbers next to Failing and Crashing in the text synthesis will not be printed red, if they are zero.	2016-02-11 14:31:35 +01:00
Snaipe	bfc29532cd	Moved cram tests into their own subdirectory	2016-01-16 13:28:11 +01:00

Renamed from test/theories.t (Browse further)