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 /test/unit | |
| 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 'test/unit')
| -rw-r--r-- | test/unit/expr/kind_black.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/expr/kind_black.h b/test/unit/expr/kind_black.h index 047042191..d1b777c0d 100644 --- a/test/unit/expr/kind_black.h +++ b/test/unit/expr/kind_black.h @@ -82,7 +82,7 @@ class KindBlack : public CxxTest::TestSuite { stringstream act, exp; act << undefined << null << last << unknown; - exp << "UNDEFINED_KIND" << "NULL" << "LAST_KIND" << "UNKNOWNKIND!"<< beyond; + exp << "UNDEFINED_KIND" << "NULL" << "LAST_KIND" << "?"; string actCreated = act.str(); string expCreated = exp.str(); |