diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-18 20:16:16 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-18 20:16:16 -0700 |
| commit | 3329086947832ae10ec376f5b69118c357b508d4 (patch) | |
| tree | d4e04060eae894b5adfca5a8c06215aa42d80426 /src/sat/bmc | |
| parent | eff11d95d20a3fcce5469ae104a0f5a424d2c1d6 (diff) | |
| download | abc-3329086947832ae10ec376f5b69118c357b508d4.tar.gz abc-3329086947832ae10ec376f5b69118c357b508d4.tar.bz2 abc-3329086947832ae10ec376f5b69118c357b508d4.zip | |
Several bug fixed / small changes in Satoko.
Diffstat (limited to 'src/sat/bmc')
| -rw-r--r-- | src/sat/bmc/bmcMesh.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/sat/bmc/bmcMesh.c b/src/sat/bmc/bmcMesh.c index 6d85a6a1..6da70a1c 100644 --- a/src/sat/bmc/bmcMesh.c +++ b/src/sat/bmc/bmcMesh.c @@ -53,8 +53,9 @@ static inline int Bmc_MeshUVar( int Me[102][102], int x, int y ) { return Me[x][ ***********************************************************************/ static inline int Bmc_MeshVarValue( satoko_t * p, int v ) { - int value = var_value(p, v) != VAR_UNASSING ? var_value(p, v) : var_polarity(p, v); - return value == LIT_TRUE; +// int value = var_value(p, v) != VAR_UNASSING ? var_value(p, v) : var_polarity(p, v); +// return value == LIT_TRUE; + return var_polarity(p, v) == LIT_TRUE; } /**Function************************************************************* |