diff options
Diffstat (limited to 'examples/api/sygus-inv.cpp')
| -rw-r--r-- | examples/api/sygus-inv.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/api/sygus-inv.cpp b/examples/api/sygus-inv.cpp index 061ad8c1f..7deb5cc83 100644 --- a/examples/api/sygus-inv.cpp +++ b/examples/api/sygus-inv.cpp @@ -72,7 +72,7 @@ int main() Term trans_f = slv.defineFun("trans-f", {x, xp}, boolean, ite); Term post_f = slv.defineFun("post-f", {x}, boolean, slv.mkTerm(LEQ, x, ten)); - // declare the invariant-to-synthesize. + // declare the invariant-to-synthesize Term inv_f = slv.synthInv("inv-f", {x}); slv.addSygusInvConstraint(inv_f, pre_f, trans_f, post_f); |