diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-06-05 12:36:26 +0200 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-06-05 12:36:26 +0200 |
| commit | e140ef7e5a45b23823bdf1189070573439966ac8 (patch) | |
| tree | 812a9d711e15efd51efe92792030735adaa64936 /src/base/wlc/wlcReadSmt.c | |
| parent | 943e625e753933ee01fe3e329700752a8e0327ac (diff) | |
| download | abc-e140ef7e5a45b23823bdf1189070573439966ac8.tar.gz abc-e140ef7e5a45b23823bdf1189070573439966ac8.tar.bz2 abc-e140ef7e5a45b23823bdf1189070573439966ac8.zip | |
Bug fix in SMT handling: 'distinct' with more than two inputs.
Diffstat (limited to 'src/base/wlc/wlcReadSmt.c')
| -rw-r--r-- | src/base/wlc/wlcReadSmt.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcReadSmt.c b/src/base/wlc/wlcReadSmt.c index 69a01ab0..230b34ad 100644 --- a/src/base/wlc/wlcReadSmt.c +++ b/src/base/wlc/wlcReadSmt.c @@ -331,7 +331,7 @@ static inline int Smt_PrsCreateNode( Wlc_Ntk_t * pNtk, int Type, int fSigned, in Type == WLC_OBJ_LOGIC_OR || // 29: logic OR Type == WLC_OBJ_LOGIC_XOR || // 30: logic XOR Type == WLC_OBJ_COMP_EQU || // 31: compare equal - Type == WLC_OBJ_COMP_NOTEQU || // 32: compare not equal +// Type == WLC_OBJ_COMP_NOTEQU || // 32: compare not equal -- bug fix Type == WLC_OBJ_COMP_LESS || // 33: compare less Type == WLC_OBJ_COMP_MORE || // 34: compare more Type == WLC_OBJ_COMP_LESSEQU || // 35: compare less or equal |