diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-04-05 09:42:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-05 11:42:59 -0500 |
| commit | baefe18cead33e6d190bb0b144b7c656f77ddf1e (patch) | |
| tree | 1237dd659e973ac9d676b3806fc1d4135cd0b469 /src/expr/mkkind | |
| parent | 2e4e1d2d202ac048a2d808e907d6e6e61d002709 (diff) | |
Add safe_print() support for Kind enum (#4213)
This commit changes the mkkind script to generate a toString()
method for the Kind enum. This method can be used by the
safe_print() function to print statistics if CVC4 has been terminated
before solving a problem. The stats for strings include statistics that
rely on printing kinds (e.g. the number of reductions done of each
kind).
Diffstat (limited to 'src/expr/mkkind')
| -rwxr-xr-x | src/expr/mkkind | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/mkkind b/src/expr/mkkind index 8e45b94ba..fbf37eff4 100755 --- a/src/expr/mkkind +++ b/src/expr/mkkind @@ -341,7 +341,7 @@ function register_kind { kind_decls="${kind_decls} $r, /**< $comment ($register_kind_counter) */ " - kind_printers="${kind_printers} case $r: out << \"$r\"; break; + kind_printers="${kind_printers} case $r: return \"$r\"; " kind_to_theory_id="${kind_to_theory_id} case kind::$r: return $theory_id; " |