commit | 56aeea6ff025ead797d146abed21bb31a3779ec3 | [log] [tgz] |
---|---|---|
author | Mate Soos <soos.mate@gmail.com> | Thu Oct 29 00:43:30 2015 |
committer | Mate Soos <soos.mate@gmail.com> | Thu Oct 29 00:43:30 2015 |
tree | 489b4c6b68c9f6dd621355e30a1817363c784103 | |
parent | 9c22ea1682eed439577fb1ebc89dd1047d365d7f [diff] |
Making sure we can build KLEE on TravisCI using current STP