diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-03-07 12:02:33 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-07 12:02:33 +0000 |
| commit | 76bcb45aab9c86c63db3b834cca6126effd1c112 (patch) | |
| tree | d1ddf751f79d4af5c1016d7299e351fd242c65d9 /Dockerfile | |
| parent | cb0c4bacc6ec60676e2a7ce84d8ff34e669c5f3d (diff) | |
| parent | f69a8cd5c2181b020f756fedf1af348379ce54d2 (diff) | |
| download | klee-76bcb45aab9c86c63db3b834cca6126effd1c112.tar.gz | |
Merge pull request #608 from jirislaby/kill_test
test: ConstantExpr, kill bogus test
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions