diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-01-14 12:21:48 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-01-14 12:30:31 +0000 |
| commit | cece05cadf6a624afd188e81720ae7701736a703 (patch) | |
| tree | dab3e0f57477f584dfa65f0c166bceb118c4551c /utils/hacks/TreeGraphs/inputs | |
| parent | 68fa7490713ecf6672684c4398f9c19a101f822a (diff) | |
| download | klee-cece05cadf6a624afd188e81720ae7701736a703.tar.gz | |
Refactor the MetaSMT makefile commands into its own file which can
be included by tools that needs to link against MetaSMT. Apart from
making the Makefile code cleaner this allowed the Solver unit test
linking to succeed when not building with STP support.
Unfortunately when using MetaSMT as the core solver the Solver unit
tests do not pass. Clearly no one tried this before... :(
Diffstat (limited to 'utils/hacks/TreeGraphs/inputs')
0 files changed, 0 insertions, 0 deletions