Strategize function-oriented approach for lemma

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

Pass flow-control bools into functions outside lemma, in line with the treatment for Loc in the early examples.

eionblanc commented 3 years ago

fixed by commit 1548823