7 Commits

Author	SHA1	Message	Date
Patrick Lühne	da2a3eefa4	Added extensive test covering Blocksworld instance.	2017-06-19 00:18:01 +02:00
Patrick Lühne	3877012274	Minor extension of unit test covering Blocksworld domain.	2017-06-19 00:18:01 +02:00
Patrick Lühne	e0aca18b38	Removed unnecessary directives in test case.	2017-06-19 00:18:01 +02:00
Patrick Lühne	19c81effbe	Added extensive test for Blocksworld domain.	2017-06-19 00:18:00 +02:00
Patrick Lühne	f349b5e351	Minor formatting.	2017-06-19 00:14:29 +02:00
Patrick Lühne	9fbe0db567	Extended unit test on “either” types.	2017-06-19 00:14:05 +02:00
Patrick Lühne	1876d1fe0b	Fixed parsing of types.	2017-06-19 00:14:01 +02:00