Bug #5101
Caught exception for disk.c
Status:
Closed
Priority:
Normal
Assignee:
-
Start date:
30/04/2017
Due date:
% Done:
0%
Estimated time:
Description
disk.c --claim 1 --theoref
Caught exception: symex_assign_rec: unexpected assignment to union member
History
#1 Updated by Karine Even Mendoza about 7 years ago
- Status changed from New to Closed
Duplicate bug, already reported in 4689.
CBMC bug, I expect it to be resolved at some point