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