1-test-suite.log

1-test-suite.log (text/plain), 520 bytes, created by Agostino Sarubbo on 2024-03-07 15:37:03 UTC

==================================
   cudd 3.0.0: ./test-suite.log
==================================

# TOTAL: 30
# PASS:  29
# SKIP:  0
# XFAIL: 0
# FAIL:  1
# XPASS: 0
# ERROR: 0

.. contents:: :depth: 2

FAIL: cudd/test_cudd
====================

TAP version 13
1..2
# comparing ./cudd/r7x8.1.tst to ./cudd/r7x8.1.out
ok 1 cudd basic
PASS: cudd/test_cudd.test 1 cudd basic
# comparing ./cudd/extra.tst to ./cudd/extra.out
not ok 2 cudd extra
FAIL: cudd/test_cudd.test 2 cudd extra
# Check file "./cudd/differences"