everest: some refactoring in test command

project-everest / everest

https://project-everest.github.io/

Apache License 2.0

193 stars 29 forks source link

Closed mtzguido closed 1 month ago

mtzguido commented 8 months ago

Also allows to test single projects by ./everest FStar test, etc.

msprotz commented 8 months ago

Looks good to me, thanks! Do you know why the build failed?

mtzguido commented 8 months ago

Weird... looking into it.

2024-02-06T16:53:54.7125671Z #24 0.405 /bin/sh: 1: python: Permission denied