Add refute statement · viperproject/gobra@ae8b514

Triggered via push July 1, 2024 14:58

bruggerl

bruggerl/refute

Status Failure

Total duration 2h 28m 15s

Artifacts 1

test.yml

on: push

2 errors and 1 warning

Z3 used up to 7.07402GB of RAM

Process completed with exit code 1.

Java used up to 4.80552GB of RAM

Produced during runtime

Name	Size
pidstat.txt	266 KB