Searched defs:vc_getCounterExample (Results 1 – 2 of 2) sorted by relevance
605 Expr vc_getCounterExample(VC vc, Expr e) in vc_getCounterExample() function
2452 extern "C" Expr* vc_getCounterExample(VC vc, int* size) in vc_getCounterExample() function