viper-admin

> **@alexanderjsummers** commented on 2018-10-12 15:30 Could you send a code snippet that can be run, please? Superficially though, I'm not sure this should work - why would the triggers...

> **@mschwerhoff** on 2018-10-12 16:18: > * edited the description

> **@mschwerhoff** commented on 2018-10-12 16:20 The code requires Tobias' forks, they include `all/assume/assume10QP.sil`. Regarding triggering: * I just fixed an important typo: I had tidied up the example before...

> **@alexanderjsummers** commented on 2018-10-12 16:26 Ah thanks - I had missed the fact that the first line should trigger the quantifiers. Then I agree that the property should be...

> **@mschwerhoff** commented on 2018-10-12 16:28 Aforementioned test is part of the Silver test suite, but I've now posted it here as well.

> **@mschwerhoff** on 2018-10-12 16:28: > * changed `attachment` from `(none)` to `assume10QP.sil`

> **@marcoeilers** commented on 2019-08-28 13:10 The runtime exception does not occur any more. issue\_0096 works fine, unionfind is very slow or does not terminate. Not sure if this issue...

> **@alexanderjsummers** commented on 2016-02-25 11:11 Duplicate of .

> **@alexanderjsummers** on 2016-02-25 11:11: > * changed `state` from `new` to `duplicate`

> **@alexanderjsummers** commented on 2018-07-06 14:06 It's useful to have a tool-specific issue number, while the problem is outstanding