if_diff/src/idfReport.cxx
//============================================================================
// Report SMT node mismatches and differences.
//============================================================================
Report SMT node mismatches and differences.
Report SMT node mismatches and differences .
static void report_SMT(const idfModel &model1, const idfModel &model2)
{
  report_SMT(model1.getSmt(), model1, model2);
  report_SMT(model2.getSmt(), model2, model1);
}
static void report_SMT ( const idfModel & model1 , const idfModel & model2 ) { report_SMT ( model1 . getSmt ( ) , model1 , model2 ) ; report_SMT ( model2 . getSmt ( ) , model2 , model1 ) ; }
Report SMT node mismatches and differences.
Report SMT node mismatches and differences .