3 Commits

Author	SHA1	Message	Date
Marcello Stanisci	fe6960cce8	Implement new traits-based tests.	2018-02-12 16:12:07 +01:00
Christian Grothoff	6ba7747ac3	more traits	2018-01-21 16:01:08 +01:00
Christian Grothoff	82b0eda3ef	new test interpreter architecture, first draft	2018-01-21 15:39:48 +01:00