Update src/main/scala/viper/gobra/frontend/Config.scala · viperproject/gobra@86ada0d

Triggered via push December 2, 2023 16:57

Dspil

dspil_disable_nlir

Status Failure

Total duration 30m 14s

Artifacts 1

test.yml

on: push

2 errors and 1 warning

Z3 used up to 2.47884GB of RAM

Process completed with exit code 1.

Java used up to 4.7184GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	819 KB