Add refute statement · viperproject/gobra@ae8b514

Triggered via pull request July 1, 2024 14:58

bruggerl

opened #776

bruggerl/refute

Status Success

Total duration 24m 4s

Artifacts 1

test.yml

on: pull_request

2 warnings

Java used up to 4.96691GB of RAM

Z3 used up to 0.559412GB of RAM

Produced during runtime

Name	Size
pidstat.txt	47.1 KB