diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2014-12-03 15:52:00 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2014-12-03 15:52:00 +0000 |
| commit | f481b1e1503207443fc6100c0be489d58f12d787 (patch) | |
| tree | de26d8d198d2cf6eb38525ad61f358fa9e99968d | |
| parent | d0f8c9ee4140689043ff5857f5283f6b0d22cbdc (diff) | |
| parent | ca32b2a45b9917059044de4e816fbaf366e07b68 (diff) | |
| download | klee-f481b1e1503207443fc6100c0be489d58f12d787.tar.gz | |
Merge pull request #182 from hpalikareva/fix-test-prefer-cex
Fixed test /Feature/PreferCex.c: Z3 instantiates different value for unc...
| -rw-r--r-- | test/Feature/PreferCex.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/Feature/PreferCex.c b/test/Feature/PreferCex.c index d562f968..180e03cf 100644 --- a/test/Feature/PreferCex.c +++ b/test/Feature/PreferCex.c @@ -15,6 +15,7 @@ int main() { klee_prefer_cex(buf, buf[0]=='H'); klee_prefer_cex(buf, buf[1]=='i'); klee_prefer_cex(buf, buf[2]=='\0'); + klee_prefer_cex(buf, buf[3]=='\0'); return 0; } |