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 c6bdfe3f38 Renamed issue checking test.		2016-06-09 23:35:57 +02:00
..
data	Added test covering last issue.	2016-06-09 18:48:16 +02:00
googletest@c99458533a	Fixed Google Test version to release 1.7.0.	2016-05-21 00:35:44 +02:00
CMakeLists.txt	Added Google Test as a submodule to avoid potential linking issues.	2016-05-20 21:59:44 +02:00
TestPDDLParser.cpp	Renamed issue checking test.	2016-06-09 23:35:57 +02:00
TestSASParser.cpp	Implemented computation of derived requirements.	2016-05-30 15:44:13 +02:00
TestUtils.cpp	To-dos and formatting.	2016-06-08 01:19:49 +02:00