Add option to disable set axiomatization · viperproject/gobra@5847f68

Re-run triggered December 4, 2023 10:03

ArquintL

#708

master

Status Failure

Total duration 27m 1s

Artifacts 1

test.yml

on: pull_request

2 errors and 1 warning

Z3 used up to 2.15731GB of RAM

Process completed with exit code 1.

Java used up to 4.88586GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	661 KB