f442488f19
The numbers next to Failing and Crashing in the text synthesis will not be printed red, if they are zero.
19 lines
1.2 KiB
Raku
19 lines
1.2 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 (esc)
|
|
[\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 (esc)
|
|
[\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
|