[----] simple.c:4: Assertion failed: The expression 0 is false. [FAIL] misc::failing [====] Synthesis: Tested: 2 | Passing: 1 | Failing: 1 | Crashing: 0