viper-admin

> **@fpoli** on 2018-05-31 16:34: > * changed `attachment` from `(none)` to `program.vpr`

> **@fpoli** commented on 2018-05-31 16:35 I'll try minimizing the program

> **@mschwerhoff** commented on 2018-06-01 07:29 That would be great! It currently looks somewhat ... insane ;-)

> **@fpoli** commented on 2018-06-01 09:30 It was fun :D Here is the minimized program: ``` method check(b: Bool) { if (b) { goto bb6 } assume false label bb1...

> **@fpoli** commented on 2018-06-01 09:34 Here is another version, full of `assume false`: ``` method check(b: Bool) { if (b) { assume false goto bb6 } assume false label...

> **@mschwerhoff** commented on 2018-06-01 20:49 That's quite the simplification :-) Thanks a lot!

> **@mschwerhoff** commented on 2019-03-02 21:45 @fpoli I've attached the CFG generated for the first simplification. The exception happens when Silicon leaves `StatementBlock(1)` via the `b (out)` edge: since it...

> **@mschwerhoff** on 2019-03-02 21:45: > * changed `attachment` from `(none)` to `check.dot.pdf`

> **@dohrau** commented on 2019-03-03 17:08 Will do!

> **@dohrau** on 2019-07-29 14:43: > * changed the assignee from (none) to **@dohrau**