Searched refs:fCallProver (Results 1 – 3 of 3) sorted by relevance
72 int fCallProver; // calls the prover member
1807 if ( p->pPars->fCallProver ) in Gia_ManPerformGla()
46681 pPars->fCallProver ^= 1; in Abc_CommandAbc9Gla()46784 …Abc_Print( -2, "\t-q : toggle calling the prover [default = %s]\n", pPars->fCallProver? "yes"… in Abc_CommandAbc9Gla()