runtest: allows to specify provers from the CLI

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

320 stars 49 forks source link

Closed strub closed 11 months ago

strub commented 11 months ago

This allows to temporarily fix the Jasmin CI.

fdupress commented 11 months ago

The Jasmin eclib tests.config file could be used to specify provers, no? (Or command-line args for easycrypt, at least.)

strub commented 11 months ago

Approving anyway because having the CLI arg is good, but the workflow change still seems superfluous.

The idea is to have our CI back while I am pushing the change in Jasmin.