diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2017-11-22 21:56:35 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-22 21:56:35 -0600 |
commit | c9ae6b9812e737ae7932df91fa5f334d6d2588d4 (patch) | |
tree | 61ac786790c044b88cf8589cc588e77760fe22e8 /test/regress/regress0/hole6.cvc | |
parent | 20704741e4609055d61e010b6981c6916d28019a (diff) |
Converting defined functions and let expressions from Sygus grammars to lambdas (#1403)
This partially solves issue #1344. Definitions are expanded when the grammar normalizer is called. When this becomes default then the code that expands definitions elsewhere will be removed.
The PR also contains minor changes to the PrintCallback and SygusGrammarNormalize module.
Diffstat (limited to 'test/regress/regress0/hole6.cvc')
0 files changed, 0 insertions, 0 deletions