trlc icon indicating copy to clipboard operation
trlc copied to clipboard

Published 20 hours ago • verified publisher icon bmw-software-engineering

Emit constraints for tuples in arrays

Open florianschanda opened this issue 1 year ago • 0 comments

Several options exist:

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

florianschanda avatar Jul 17 '23 07:07 florianschanda