4 Commits

Author	SHA1	Message	Date
Christian Grothoff	910e01d1c1	be more careful with terminology	2016-05-04 05:38:29 +02:00
Christian Grothoff	f2b7e36269	finish tests for #4437	2016-05-03 06:15:09 +02:00
Christian Grothoff	5852baa7e9	fix testcase	2016-05-02 09:06:16 +02:00
Christian Grothoff	31ad6aaf11	separate interpreter from the rest of the test logic	2016-05-02 08:46:17 +02:00