diff options
| author | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2014-12-03 11:20:54 +0000 |
|---|---|---|
| committer | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2014-12-03 11:20:54 +0000 |
| commit | ca32b2a45b9917059044de4e816fbaf366e07b68 (patch) | |
| tree | de26d8d198d2cf6eb38525ad61f358fa9e99968d /test/Feature | |
| parent | d0f8c9ee4140689043ff5857f5283f6b0d22cbdc (diff) | |
| download | klee-ca32b2a45b9917059044de4e816fbaf366e07b68.tar.gz | |
Fixed test /Feature/PreferCex.c: Z3 instantiates different value for unconstrained buf[3]
Diffstat (limited to 'test/Feature')
| -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; } |