The peano's discuss from gpoesia

peano's Issues

Tests failing on main

Looks like one test is failing on the main branch:

I see the following output

running 6 tests
test universe::term::tests::build_context ... ok
test universe::term::tests::parse_simple_context ... ok
test universe::term::tests::parse_and_format_terms ... FAILED
test universe::universe::tests::test_create_universe ... ok
test universe::universe::tests::test_simple_actions ... ok
test universe::universe::tests::test_composite_type_inhabited ... ok

failures:

---- universe::term::tests::parse_and_format_terms stdout ----
thread 'universe::term::tests::parse_and_format_terms' panicked at 'assertion failed: `(left == right)`
  left: `"lambda (n : nat, f : [nat -> nat -> nat]) (f n (f (s n) (s n)))"`,
 right: `"lambda ($n : nat, $f : [nat -> nat -> nat]) ($f $n ($f (s $n) (s $n)))"`', src/universe/term.rs:654:13
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace


failures:
    universe::term::tests::parse_and_format_terms

test result: FAILED. 5 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 5.54s

error: test failed, to rerun pass '--lib'

Recommend Projects