2016-07-23 23:36:27 +02:00
|
|
|
Testing skipping
|
|
|
|
|
|
|
|
$ skip.c.bin --verbose
|
2016-09-19 00:21:17 +02:00
|
|
|
[\x1b[0;34m----\x1b[0m] Criterion v2.3.0-rc1 (esc)
|
2016-07-23 23:36:27 +02:00
|
|
|
[\x1b[0;34m====\x1b[0m] Running \x1b[0;34m2\x1b[0m tests from \x1b[0;33mmisc\x1b[0m: (esc)
|
|
|
|
[\x1b[0;34mRUN \x1b[0m] misc::message (esc)
|
2016-09-04 10:13:55 +02:00
|
|
|
[\x1b[0;33mSKIP\x1b[0m] misc::message: Skips may take printf-like messages (esc)
|
2016-07-23 23:36:27 +02:00
|
|
|
[\x1b[0;34mRUN \x1b[0m] misc::skipping (esc)
|
|
|
|
[\x1b[0;33mSKIP\x1b[0m] misc::skipping: Test was skipped (esc)
|
|
|
|
[\x1b[0;34m====\x1b[0m] \x1b[0;1mSynthesis: Tested: \x1b[0;34m0\x1b[0;1m | Passing: \x1b[0;32m0\x1b[0;1m | Failing: \x1b[0m0\x1b[0;1m | Crashing: \x1b[0m0\x1b[0;1m \x1b[0m (esc)
|