From 7184003b42cac430fe4b62f6337cd07408a29ce8 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 25 Jul 2011 20:52:15 +0700 Subject: Adding procedures to find the care bits of a counter-example (update). --- src/aig/saig/saigRefSat.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/saig/saigRefSat.c') diff --git a/src/aig/saig/saigRefSat.c b/src/aig/saig/saigRefSat.c index 2cadd8a1..bc053fca 100644 --- a/src/aig/saig/saigRefSat.c +++ b/src/aig/saig/saigRefSat.c @@ -393,7 +393,7 @@ Abc_Cex_t * Saig_RefManRunSat( Saig_RefMan_t * p ) SeeAlso [] ***********************************************************************/ -Abc_Cex_t * Saig_ManRefineCexSat( Aig_Man_t * pAig, Abc_Cex_t * pCex, int nInputs, int fVerbose ) +Abc_Cex_t * Saig_ManFindCexCareBits( Aig_Man_t * pAig, Abc_Cex_t * pCex, int nInputs, int fVerbose ) { Abc_Cex_t * pCare = NULL; int clk = clock(); -- cgit v1.2.3