19 lines
1.3 KiB
Raku
19 lines
1.3 KiB
Raku
Using theories
|
|
|
|
$ theories_regression.c.bin
|
|
[\x1b[0;34m----\x1b[0m] \x1b[0;1mtheories_regression.c\x1b[0m:\x1b[0;31m34\x1b[0m: Assertion failed: The conditions for this assertion were not met. (esc)
|
|
[\x1b[0;34m----\x1b[0m] Theory theory::misc failed with the following parameters: ('a', true, 1, 1, 3.14f, 3.14, "test", "other test") (esc)
|
|
\[\\x1b\[0;31mFAIL\\x1b\[0m\] theory::misc: \(\d\.\d\ds\) \(esc\) (re)
|
|
[\x1b[0;34m====\x1b[0m] \x1b[0;1mSynthesis: Tested: \x1b[0;34m1\x1b[0;1m | Passing: \x1b[0;32m0\x1b[0;1m | Failing: \x1b[0;31m1\x1b[0;1m | Crashing: \x1b[0m0\x1b[0;1m \x1b[0m (esc)
|
|
|
|
$ theories_regression.cc.bin
|
|
[\x1b[0;34m----\x1b[0m] \x1b[0;1mtheories_regression.cc\x1b[0m:\x1b[0;31m36\x1b[0m: Assertion failed: The conditions for this assertion were not met. (esc)
|
|
[\x1b[0;34m----\x1b[0m] Theory theory::misc failed with the following parameters: ('a', true, 1, 1, 3.14f, 3.14, "test", "other test") (esc)
|
|
\[\\x1b\[0;31mFAIL\\x1b\[0m\] theory::misc: \(\d\.\d\ds\) \(esc\) (re)
|
|
[\x1b[0;34m====\x1b[0m] \x1b[0;1mSynthesis: Tested: \x1b[0;34m1\x1b[0;1m | Passing: \x1b[0;32m0\x1b[0;1m | Failing: \x1b[0;31m1\x1b[0;1m | Crashing: \x1b[0m0\x1b[0;1m \x1b[0m (esc)
|
|
|
|
Theories should be listed as only one test
|
|
|
|
$ theories_regression.c.bin --list
|
|
theory: 1 test
|
|
└── misc
|