add case for ghost slice · viperproject/gobra@4883590

Triggered via push May 20, 2024 09:32

jcp19

fix_pure_literals

Status Success

Total duration 24m 2s

Artifacts 1

test.yml

on: push

2 warnings

Java used up to 5.14705GB of RAM

Z3 used up to 0.50722GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	43.2 KB