Allow for complicated types

muraliadithya / mini-sygus

a constraint-based syntax-guided synthesis (SyGuS) engine

9 stars 0 forks source link

Closed eionblanc closed 3 years ago

eionblanc commented 3 years ago

Ensure parser correctly interprets types with brackets.

eionblanc commented 3 years ago

fixed by commit 1548823