summaryrefslogtreecommitdiff
path: root/test/regress/regress0/sygus/no-logic.sy
AgeCommit message (Expand)Author
2019-10-15Fix regression (#3393)Andres Noetzli
2019-10-14Disable regression test for competition build (#3388)Andres Noetzli
2019-10-11Check that logic is set when synth-fun command is encountered (#3384)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback