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 1379c24362 Renamed test sections for clarity.		2017-06-19 00:18:02 +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	Renamed test sections for clarity.	2017-06-19 00:18:02 +02:00
TestIssues.cpp	Fixed whitespace issue in typing sections and added test cases.	2017-06-19 00:18:02 +02:00
TestOfficialPDDLInstances.cpp	Renamed test sections for clarity.	2017-06-19 00:18:02 +02:00