Searched refs:make_malloc_state_machine (Results 1 – 8 of 8) sorted by relevance
127 out.safe_push (make_malloc_state_machine (logger)); in make_checkers()
184 extern state_machine *make_malloc_state_machine (logger *logger);
1430 state_machine *sm = make_malloc_state_machine (NULL); in test_program_state_dumping()1525 checkers.safe_push (make_malloc_state_machine (NULL)); in test_program_state_merging()
841 make_malloc_state_machine (logger *logger) in make_malloc_state_machine() function
180 out.safe_push (make_malloc_state_machine (logger)); in make_checkers()
298 extern state_machine *make_malloc_state_machine (logger *logger);
1486 state_machine *sm = make_malloc_state_machine (NULL); in test_sm_state_map()1615 state_machine *sm = make_malloc_state_machine (NULL); in test_program_state_1()1673 checkers.safe_push (make_malloc_state_machine (NULL)); in test_program_state_merging()
2113 make_malloc_state_machine (logger *logger) in make_malloc_state_machine() function