diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2015-08-30 15:07:31 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2015-08-30 15:07:31 +0200 |
| commit | 957145ef5706c6aaa10ff7b1273e24df29c9b50a (patch) | |
| tree | 3e6515b4fc9ef38c405fab2b7ef7052476f21591 /Makefile.config.in | |
| parent | c91a035e51d2023133d4767eeb99bb8931710876 (diff) | |
| download | klee-957145ef5706c6aaa10ff7b1273e24df29c9b50a.tar.gz | |
Support KLEE with different STP versions; Disable r940
Build STP version based on provided branch. Build current STP version 2.1.0 by default and test with master branch as well
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions