kiele runner script - Githubissues

runtimeverification / iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain

Other

131 stars 33 forks source link

Closed ehildenb closed 3 years ago

ehildenb commented 3 years ago

Fixes: runtimeverification/iog-pm#27

This PR does a few things:

Adds a runner wrapper script kiele, which subsumes all the functionality of the old runners *test.
Adds all the needed binaries to the install, and the *-kompiled directories, to have things like kprint able to work.
Splits the tests in the Jenkinsfile into logical parallel units.
Reworks the testing harness to use the runner script rather than individual test runners.

ehildenb commented 3 years ago

The Makefile alllows overriding the TEST_PORT in the standard way, I can make test-package.sh also allow overriding it if you like.

As far as the coverage build, I did not disable it or remove it, just did not do it by default. I can change that back if you ilke.

ehildenb commented 3 years ago

@dwightguth

You can specify the TEST_PORT on commandline for make in the standard way TEST_PORT=....
You can now also specify the TEST_PORT for test-package.sh now.
I don't think we need to enable coverage build by default.