Open yoni206 opened 1 year ago
The unit-transfer test is failing due to this line: https://github.com/stanford-centaur/smt-switch/blob/1477296482bb112325475285262c49be8ba5401a/tests/unit/unit-transfer.cpp#L87
unit-transfer
For now, it is commented out.
The
unit-transfertest is failing due to this line: https://github.com/stanford-centaur/smt-switch/blob/1477296482bb112325475285262c49be8ba5401a/tests/unit/unit-transfer.cpp#L87For now, it is commented out.