5 Commits

Author	SHA1	Message	Date
Marcello Stanisci	3cb0454dc0	Commenting the main "testing" header file.	2018-05-29 12:18:18 +02:00
Marcello Stanisci	7a1146f147	Commenting the remaining "lib" traits.	2018-05-28 17:23:05 +02:00
Marcello Stanisci	d20c94d870	indent	2018-02-16 12:05:42 +01:00
Marcello Stanisci	fe6960cce8	Implement new traits-based tests.	2018-02-12 16:12:07 +01:00
Christian Grothoff	82b0eda3ef	new test interpreter architecture, first draft	2018-01-21 15:39:48 +01:00