Set and sequence combinations are not always handled automatically

[viper-admin]

Created by @alexanderjsummers on 2016-02-24 17:44 Last updated on 2018-07-06 14:06

This can be particularly relevant for quantified permissions. See, for example, quantifiedpermissions/issues/issue_0064.sil

This is ultimately concerned with Silver issue 80.

[viper-admin]

@alexanderjsummers commented on 2016-02-25 11:11

Duplicate of https://github.com/viperproject/carbon/issues/46.

[viper-admin]

@alexanderjsummers on 2016-02-25 11:11:

• changed state from new to duplicate

[viper-admin]

@alexanderjsummers commented on 2018-07-06 14:06

It's useful to have a tool-specific issue number, while the problem is outstanding

[viper-admin]

@alexanderjsummers on 2018-07-06 14:06:

• changed state from duplicate to open