https://scm.ti-edu.ch/https://scm.ti-edu.ch/favicon.ico?15601711372017-03-07T10:14:33ZUSI & SUPSI Source Code Management (SCM)hifrog - Bug #4689: Caught exception: symex_assign_rec: unexpected assignment to union memberhttps://scm.ti-edu.ch/issues/4689?journal_id=167542017-03-07T10:14:33ZSepideh Asadisepideh.a65@gmail.com
<ul></ul><p>expected result for claim 7: successful verification</p>
<p>This problem is happening in almost all of disk.c <br />Caught exception: symex_assign_rec: unexpected assignment to union member</p> hifrog - Bug #4689: Caught exception: symex_assign_rec: unexpected assignment to union memberhttps://scm.ti-edu.ch/issues/4689?journal_id=167832017-03-07T17:42:42ZKarine Even Mendozakarine.even_mendoza@kcl.ac.uk
<ul><li><strong>Assignee</strong> set to <i>Karine Even Mendoza</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>60</i></li></ul><p>Cprover bug - follow up when upgrading the versions</p> hifrog - Bug #4689: Caught exception: symex_assign_rec: unexpected assignment to union memberhttps://scm.ti-edu.ch/issues/4689?journal_id=172352017-03-31T22:17:19ZKarine Even Mendozakarine.even_mendoza@kcl.ac.uk
<ul><li><strong>% Done</strong> changed from <i>60</i> to <i>70</i></li></ul><p>After cprover upgrade, all works but prop logic, need to check the assert there.</p> hifrog - Bug #4689: Caught exception: symex_assign_rec: unexpected assignment to union memberhttps://scm.ti-edu.ch/issues/4689?journal_id=172372017-03-31T22:19:55ZKarine Even Mendozakarine.even_mendoza@kcl.ac.uk
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>In Progress</i></li></ul> hifrog - Bug #4689: Caught exception: symex_assign_rec: unexpected assignment to union memberhttps://scm.ti-edu.ch/issues/4689?journal_id=176072017-05-03T11:24:27ZKarine Even Mendozakarine.even_mendoza@kcl.ac.uk
<ul><li><strong>Status</strong> changed from <i>In Progress</i> to <i>Closed</i></li><li><strong>% Done</strong> changed from <i>70</i> to <i>100</i></li></ul><p>fixed. added optimisations from cbmc</p>