diff --git a/runtime/libcn/include/cn-testing/test.h b/runtime/libcn/include/cn-testing/test.h index 2aca0f1d9..627b0a9c2 100644 --- a/runtime/libcn/include/cn-testing/test.h +++ b/runtime/libcn/include/cn-testing/test.h @@ -111,7 +111,7 @@ size_t cn_gen_compute_size(enum cn_gen_sizing_strategy strategy, if (!replay) { \ cn_gen_set_input_timer(cn_gen_get_milliseconds()); \ } else { \ - cn_gen_set_input_timer(0); \ + cn_gen_set_input_timeout(0); \ } \ struct cn_gen_##Name##_record* res = cn_gen_##Name(); \ if (cn_gen_backtrack_type() != CN_GEN_BACKTRACK_NONE) { \ diff --git a/runtime/libcn/src/cn-testing/test.c b/runtime/libcn/src/cn-testing/test.c index 79786235a..66c3593f6 100644 --- a/runtime/libcn/src/cn-testing/test.c +++ b/runtime/libcn/src/cn-testing/test.c @@ -344,7 +344,12 @@ int cn_test_main(int argc, char* argv[]) { cn_printf(CN_LOGGING_ERROR, "\n"); cn_test_reproduce(&repros[i]); - test_case->func(true, CN_TEST_GEN_PROGRESS_NONE, sizing_strategy, trap); + enum cn_test_result replay_result = + test_case->func(true, CN_TEST_GEN_PROGRESS_NONE, sizing_strategy, trap); + if (replay_result != CN_TEST_FAIL) { + fprintf(stderr, "Replay of failure did not fail.\n"); + abort(); + } set_cn_logging_level(CN_LOGGING_NONE);