This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.

Patrick Lühne f349b5e351 Minor formatting.		2017-06-19 00:14:29 +02:00
..
CMakeLists.txt	Enabled colored unit test results by default.	2017-06-19 00:13:13 +02:00
main.cpp	Added test cases for all competition domains (not all of them supported yet).	2017-06-19 00:13:03 +02:00
TestAcceptanceOfOfficialPDDLInstances.cpp	Sectioning unit tests for meaningful error messages.	2017-06-19 00:14:25 +02:00
TestOfficialPDDLInstances.cpp	Minor formatting.	2017-06-19 00:14:29 +02:00
TestParser.cpp	Started reimplementing problem parser.	2017-06-19 00:12:51 +02:00