anza-xyz / move

Move compiler targeting llvm supported backends
https://discord.gg/wFgfjG9J
Apache License 2.0
108 stars 34 forks source link

Summarize test results #113

Open ksolana opened 1 year ago

ksolana commented 1 year ago

Currently the test output looks like this:

test run_test::script.move ... ok
test run_test::cast-u16-to-u8-rangechk-abort.move ... ok
test run_test::mulu256-dyn-checks.move ... ok
test run_test::mulu64-dyn-checks.move ... ok
test run_test::subu128-dyn-checks.move ... ok
test run_test::cast-u256-to-u32-rangechk-abort.move ... ok
test run_test::cast-u256-to-u16-rangechk-abort.move ... ok
test run_test::cast-u256-to-u64-rangechk-abort.move ... ok
test run_test::modu32-dyn-checks.move ... ok
test run_test::mulu128-dyn-checks.move ... ok
test run_test::subu64-dyn-checks.move ... ok
test run_test::subu8-dyn-checks.move ... ok
test run_test::mulu16-dyn-checks.move ... ok
test run_test::cast-u64-to-u16-rangechk-abort.move ... ok
test run_test::cast-u256-to-u8-rangechk-abort.move ... ok
test run_test::multi-module.move ... ok
test run_test::mulu8-dyn-checks.move ... ok
test run_test::divu32-dyn-checks.move ... ok
test run_test::cast-u32-to-u8-rangechk-abort.move ... ok
test run_test::cast-u128-to-u32-rangechk-abort.move ... ok
test run_test::reference.move ... ok
test run_test::mulu32-dyn-checks.move ... ok
...

At the end there should be a summary like all other test harnesses e.g.,:

Passed: Failed: Expected fail:

ksolana commented 8 months ago

Now it looks like

ignoring tests/ir-tests/small.mvir
test run_test::small.mvir ... ok
test run_test::expected-fail.mvir ... ok
test run_test::struct-pair.mvir ... ok
test run_test::empty-module.mvir ... ok
test run_test::struct.mvir ... ok
test run_test::friend.mvir ... ok
test run_test::struct_arguments.mvir ... ok

test result: ok. 7 passed; 0 failed; 0 filtered out

It looks okay but it would be nice to have the format mentioned in the issue.