trial test suite is empty?

monte-language / typhon

A virtual machine for Monte.

Other

67 stars 10 forks source link

trial test suite is empty? #141

Open dckc opened 7 years ago

dckc commented 7 years ago

see, for example, https://ci.monte-language.org/build/603/log , the build log of derivation /nix/store/wkdmbxam6a05gyg7smdgxhi37ml9imha-typhon-vm.drv.

It just shows PASSED. Shouldn't it give some evidence that test ran? A count at least?

MostAwesomeDude commented 6 years ago

We should port this Typhon suite to Monte so that we can test the correctness of other runtimes, since almost all of these tests are just black-box correctness testing. They were useful for bootstrapping, but we clearly haven't been missing them, and our property tests are much more comprehensive.