search

project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

test more combinations for extraction in HACL* #101

Open msprotz opened 7 years ago

msprotz commented 7 years ago

we should try, for the nightly (long) runs more combinations of options, such as: