/test/regress/regress0/sygus/

• ../
• General_plus10.sy
• aig-si.sy
• array-grammar-select.sy
• array-grammar-store.sy
• c100.sy
• ccp16.lus.sy
• cegqi-si-string-triv-2fun.sy
• cegqi-si-string-triv.sy
• check-generic-red.sy
• const-var-test.sy
• dt-no-syntax.sy
• dt-sel-parse1.sy
• hd-05-d1-prog-nogrammar.sy
• inv-different-var-order.sy
• issue3356-syg-inf-usort.smt2
• issue3624.sy
• issue3645-grammar-sets.smt2
• let-ringer.sy
• let-simp.sy
• no-logic.sy
• no-syntax-test-bool.sy
• no-syntax-test.sy
• pLTL-sygus-syntax-err.sy
• parity-AIG-d0.sy
• parse-bv-let.sy
• pbe-pred-contra.sy
• print-define-fun.sy
• real-si-all.sy
• strings-unconstrained.sy
• sygus-no-wf.sy
• sygus-uf.sy
• uminus_one.sy
• univ_3-long-repeat-conflict.sy