Add flag to use Z3 via API (#666) · viperproject/gobra@21bd69f

Triggered via push September 12, 2023 09:52

Dspil

master

Status Failure

Total duration 1h 8m 40s

Artifacts 1

test.yml

on: push

3 errors

Z3 used up to 6.29075GB of RAM

Process completed with exit code 1.

Process completed with exit code 1.

Produced during runtime

Name	Size
pidstat.txt Expired	1.75 MB