Example #1
0
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);
}