Emit constraints for tuples in arrays - Githubissues

bmw-software-engineering / trlc

Treat Requirements Like Code

GNU General Public License v3.0

58 stars 10 forks source link

Emit constraints for tuples in arrays #24

Open florianschanda opened 1 year ago

florianschanda commented 1 year ago

Several options exist:

Explicit quantifier on array
Explicit quantifier on tuple type
Find explicit references and instantiate