Run evaluation

Update smt-logs and fix mono #31

Sign in to view logs

Triggered via push January 27, 2025 09:19

JonasAlaif

cav-eval

Status Success

Total duration 5h 39m 2s

Artifacts 12

eval.yml

on: push

Matrix: eval

Annotations

12 warnings

eval (verus)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

eval (silicon)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

eval (fstar, ge fstar/examples/, -2)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

eval (carbon, lt carbon/silver/src/test/resources/capture_avoidance/, -1)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

eval (carbon, ge carbon/silver/src/test/resources/capture_avoidance/, -2)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

eval (dafny, lt dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/concurrency/11-, -1)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

eval (dafny, ge dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/contract-wrappers/, -3)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

eval (smt-comp, in smt-comp/incremental/QF_BVLRA/20240414-mapf_r/soc/coef_2/ smt-comp/non-increme...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

eval (fstar, lt fstar/examples/, -1)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

eval (smt-comp, lt smt-comp/incremental/QF_BVLRA/20240414-mapf_r/soc/coef_2/, -1)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

eval (smt-comp, ge smt-comp/non-incremental/QF_SLIA/, -3)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

eval (dafny, in dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/concurrency/11- dafny/So...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime

Name	Size
carbon-1	186 KB
carbon-2	163 KB
dafny-1	276 KB
dafny-2	108 KB
dafny-3	759 KB
fstar-1	14.8 KB
fstar-2	48.6 KB
silicon	176 KB
smt-comp-1	59.1 KB
smt-comp-2	64.2 KB
smt-comp-3	113 KB
verus	161 KB