12 Commits

Include renames

Author	SHA1	Message	Date
patrick	19c81effbe	Added extensive test for Blocksworld domain.	2017-06-19 00:18:00 +02:00
patrick	f349b5e351	Minor formatting.	2017-06-19 00:14:29 +02:00
patrick	de69003105	Sectioning unit tests for meaningful error messages.	2017-06-19 00:14:25 +02:00
patrick	9fbe0db567	Extended unit test on “either” types.	2017-06-19 00:14:05 +02:00
patrick	1876d1fe0b	Fixed parsing of types.	2017-06-19 00:14:01 +02:00
patrick	30a092b365	Corrected scope of acceptance tests.	2017-06-19 00:13:56 +02:00
patrick	464550cb5b	Renamed tests file.	2017-06-19 00:13:52 +02:00
patrick	9642bab0c8	Enabled colored unit test results by default.	2017-06-19 00:13:13 +02:00
patrick	517698475c	Added test cases for all competition domains (not all of them supported yet).	2017-06-19 00:13:03 +02:00
patrick	0b8da69394	Added official PDDL competition instances for automated testing.	2017-06-19 00:13:03 +02:00
patrick	a7c4fdb242	Started reimplementing problem parser.	2017-06-19 00:12:51 +02:00
patrick	d7db0d8ccd	Started implementing clean, separate PDDL syntax tree and parser.	2017-05-12 13:58:28 +02:00