[====] Synthesis: Tested: 15 | Passing: 15 | Failing: 0 | Crashing: 0 
PASS test_cli (exit status: 0)