bmw-software-engineering/trlc

Emit constraints for tuples in arrays

florianschanda opened this issue · 0 comments

florianschanda commented

Several options exist:

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