Searched refs:test_contradiction (Results 1 – 2 of 2) sorted by relevance
11 void test_contradiction(int a, int b, int c, int d, int x) { in test_contradiction() function
131 void test_contradiction(int a, int b, int c, int d) { in test_contradiction() function