Searched refs:MiscompareErrorInstance (Results 1 – 2 of 2) sorted by relevance
101 class MiscompareErrorInstance: public ErrorInstance {103 MiscompareErrorInstance() { type_ = SAT_ERROR_MISCOMPARE; } in MiscompareErrorInstance() function109 class HDDMiscompareErrorInstance: public MiscompareErrorInstance {
192 MiscompareErrorInstance *error = new MiscompareErrorInstance; in AddMiscompareError()