diff options
Diffstat (limited to 'test')
| -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; } |