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