search

anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
457 stars 53 forks source link

Add precondition to run tests #2887

Closed janmasrovira closed 4 months ago

janmasrovira commented 4 months ago

Some tests require external dependencies, such as rustc, wasmer, run_cairo_vm.sh, etc. If one does not have some of these available on their computer, then the test suite will have a lot of failed tests with the same fail message X is not on $PATH. This can be a bit ditracting and it slows running the test suite. I've introduced some preconditions that are checked before the actual test suite so that if some of these commands are not on path then the tests that need them are not run. Instead, you get a single failed test (for each of the subtrees that failed the precondition).

lukaszcz commented 2 weeks ago

This disables some tests even when they can be run with the internal interpreter (CASM tests) but the external VM is unavailable

lukaszcz commented 2 weeks ago

Ah, but perhaps that's OK if the whole subtree fails