Bug #5141
bug in ntdrivers: Caught exception: symex_assign_rec: unexpected assignment to union member
Start date:
06/05/2017
Due date:
% Done:
0%
Estimated time:
Description
./hifrog --theoref --bitwidth 32 --unwind 10 --claim 1 challenge-bench/sv-comp16/c/workplace/ntdrivers$ ls diskperf_false-unreach-call.i.cil.c
diskperf_false-unreach-call.i.cil.c
CBMC:SAT 29.98
History
#1 Updated by Karine Even Mendoza about 7 years ago
- Status changed from New to Feedback
- Assignee set to Sepideh Asadi
Suppose to be ok now in master
#2 Updated by Karine Even Mendoza almost 7 years ago
- Status changed from Feedback to Closed
If appears again, please open a new issue