Bug #5007
theoref BUG : disk.c
Status:
Closed
Priority:
Normal
Assignee:
-
Description
Caught exception: symex_assign_rec: unexpected assignment to union member
History
#1 Updated by Sepideh Asadi about 7 years ago
- Subject changed from theoref BUG theoref to theoref BUG : disk.c
./hifrog --claim 1 --theoref --no-itp --unwind 1 disk.c
#2 Updated by Karine Even Mendoza about 7 years ago
- Status changed from New to Closed
Already reported in https://scm.ti-edu.ch/issues/4689.
Close duplicate.