Add option to disable set axiomatization · viperproject/gobra@3883bcb

Re-run triggered December 1, 2023 16:13

jcp19

#708

master

Status Failure

Total duration 21m 10s

Artifacts 1

test.yml

on: pull_request

1 error and 2 warnings

Process completed with exit code 1.

Java used up to 4.96102GB of RAM

Z3 used up to 0.589932GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	469 KB