Searched defs:test_state_freq (Results 1 – 2 of 2) sorted by relevance
423 bool test_state_freq; /* test verifier with different pruning frequency */ member
614 bool test_state_freq; /* test verifier with different pruning frequency */ member