diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-11-30 11:48:29 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-11-30 11:48:29 +0000 |
| commit | ac6ab99b75bb56c0917b2f3b714a7e4cadaa31a9 (patch) | |
| tree | 7a3e6c96108ff90aa2cfc53b3a2889332e5176af /lib | |
| parent | 2ce7a071a04b09dd30d3427a30c6161154d9426b (diff) | |
| download | klee-ac6ab99b75bb56c0917b2f3b714a7e4cadaa31a9.tar.gz | |
Fixing current version of STP in Dockerfile (see #505) to 2.1.2
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions