interaction between wildcard permissions and quantified permissions is unreliable

[viper-admin]

Created by @alexanderjsummers on 2016-01-14 10:38 Last updated on 2019-08-28 13:10

Some test cases work, but quantifiedpermissions/issues/issue_0096.sil and quantifiedpermissions/sets/unionfind.sil cause

[info] java.lang.RuntimeException: cannot translate wildcard at an arbitrary position (should only occur directly in an accessibility predicate)

[viper-admin]

@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 should stay open.