everest: some refactoring in test command

Open mtzguido opened this issue 1 year ago • 2 comments

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

Feb 06 '24 04:02 mtzguido

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

Feb 06 '24 17:02 msprotz

Weird... looking into it.

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

Feb 06 '24 17:02 mtzguido