Testing skipping $ skip.c.bin --verbose [\x1b[0;34m----\x1b[0m] Criterion v2.3.0-rc1 (esc) [\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) [\x1b[0;33mSKIP\x1b[0m] misc::message: Skips may take printf-like messages (esc) [\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)