patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Added info about running the tests to the readme file.

Browse Source
This commit is contained in:
Patrick Lühne 2016-05-26 00:11:32 +02:00
parent 6b38b55c58
commit 2281967176
1 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
README.md
View File

@ -17,7 +17,7 @@ To translate an SAS file into ASP facts, call:
$ plasp file.sas
```
For instance, a PDDL instance can be solved as follows.
For example, a PDDL instance can be solved as follows.
First, use [Fast Downward](http://www.fast-downward.org/) to translate the files from PDDL to SAS:
```bash
@ -47,6 +47,22 @@ $ make
The built `plasp` binary is then located at `plasp/build/release/bin/plasp`.
### Running the Tests
`plasp` provides unit tests written using the [Google Test](https://github.com/google/googletest) framework.
Before building and running the tests, make sure you have fetched the Google Test git submodule:
```bash
$ git submodule init
$ git submodule update
```
Afterward, build and run the tests as follows:
```bash
$ make run-tests
```
## Contributors
* [Patrick Lühne](https://www.luehne.de) (`plasp` 3)