viper-admin

> Bitbucket user **mschlaipfer** commented on 2019-10-14 20:04 My PR has just been merge into the master of [https://github.com/SMT-COMP/scrambler](https://github.com/SMT-COMP/scrambler/pull/2/files), if you want to link to it.

> **@mschwerhoff** commented on 2015-12-03 15:43 See `wands\regression\potential_unsoundness.sil`

> **@mschwerhoff** commented on 2017-12-06 15:13 The degree to which wands are treated syntactically (upon lookup), i.e. which subexpressions are treated as holes/are compared semantically, should also be clarified. It...

> **@alexanderjsummers** commented on 2019-08-28 10:56 See the tutorial issue: [https://bitbucket.org/viperproject/tutorial/issues/3/clarify-how-magic-wand-instances-are](https://bitbucket.org/viperproject/tutorial/issues/3/clarify-how-magic-wand-instances-are)

> **@alexanderjsummers** commented on 2019-08-28 10:56 We should make sure the interesting cases are handled in the test suite, for the sake of closing this particular \(Silver\) issue

> **@mschwerhoff** commented on 2018-10-12 13:46 Potentially related:

> **@alexanderjsummers** on 2018-10-15 15:36: > * changed the assignee from (none) to **@alexanderjsummers**

> **@mschwerhoff** commented on 2020-02-14 14:41 Also affected: `quantifiedpredicates/basic/partial_permissions.vpr`

> **@mschwerhoff** on 2017-03-17 10:14: > * changed `component` from `(none)` to `Logging, Reporting, IDE`

> **@mschwerhoff** commented on 2018-08-22 16:24 Duplicate of .