Bug #5325
Is it because of not supporting pointers?
Start date:
16/06/2017
Due date:
% Done:
0%
Estimated time:
Description
bitvector-regression/pointer_extension_true-unreach-call.c
HiFroG: SAT
CBMC: UNSAT
History
#1 Updated by Karine Even Mendoza almost 7 years ago
- Assignee set to Antti Hyvärinen
byte_extract_little_endian
Antti, can you think of a way to support it? (to BB it)