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'
gpoesia
commented
2 years ago
Looks like one test is failing on the main branch:
I see the following output