GeezerVison

// Code under test
void run_me(int i) {
  if (i== 0) {
    never_returns();
  }
  
  report_error(i);
}

// Tests
int never_return_calls_expected= 0;

void never_returns_callback(int num) {
  (void)num; //ignore it. we're not using it.

  if (never_return_calls_expected > 0) {
    never_return_calls_expected--;
    TEST_PASS("callback called");
  }
}

void setUp() {
  never_returns_Stub(never_returns_callback);
  never_return_calls_expected= 0;
}

void tearDown() {
  TEST_ASSERT_EQUAL(0, never_return_calls_expected, "We were expecting calls to never return that didn't happen");
}

void test_run_me_SHOULD_report_error_if_one_is_given(void) {
  report_error_Expect(42);

  run_me(42);
}

void test_run_me_SHOULD_start_our_infinite_loop_if_no_errors(void) {
  never_return_calls_expected=1;
  run_me(0);
}