void replay_ansic_grammar_with_dparser() { int result = replay_malloc("/tmp/trace.txt"); assert_equal(0, result); }
void replay_malloc_trace_from_real_C_program() { int result = replay_malloc("test/MALLOC_FREE_TRACE.trace", false); assert_equal(0, result); }