Actions
Bug #5325
openIs 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
Updated by Karine Even Mendoza over 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)
Actions