Bug #5108
byte_add_2_true-unreach-call.c unwind 10 killed
Start date:
03/05/2017
Due date:
% Done:
90%
Estimated time:
Description
./hifrog --claim 1 --unwind 5 --theoref --bitwidth 32 byte_add_2_true-unreach-call.c
with --unwind 10 is killed
Re-create this issue, now for this benchmark (instead of byte_add_1_true-unreach-call.c)
History
#1 Updated by Karine Even Mendoza almost 7 years ago
- Priority changed from Normal to Low
#2 Updated by Karine Even Mendoza almost 7 years ago
- Status changed from New to Feedback
- Assignee set to Sepideh Asadi
- % Done changed from 0 to 90
Add type-byte-constraints (option 2 to solve this issue).
#3 Updated by Karine Even Mendoza almost 7 years ago
- Status changed from Feedback to Closed