Searched refs:Disproved (Results 1 – 1 of 1) sorted by relevance
2578 bool Disproved = false; in banerjeeMIVtest() local2593 Disproved = true; in banerjeeMIVtest()2603 Disproved = true; in banerjeeMIVtest()2608 Disproved = true; in banerjeeMIVtest()2613 return Disproved; in banerjeeMIVtest()