Skip to content

Add purity checks to the ternary expression (#778) #4693

Add purity checks to the ternary expression (#778)

Add purity checks to the ternary expression (#778) #4693

Triggered via push July 3, 2024 14:34
Status Success
Total duration 23m 44s
Artifacts 4

test.yml

on: push
build-test-deploy-container
23m 31s
build-test-deploy-container
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build-test-deploy-container: .github/workflows/test.yml#L1
Java used up to 5.01452GB of RAM
build-test-deploy-container: .github/workflows/test.yml#L1
Z3 used up to 0.934684GB of RAM

Artifacts

Produced during runtime
Name Size
pidstat.txt Expired
46.6 KB
viperproject~gobra~OH4RFM.dockerbuild Expired
45.4 KB
viperproject~gobra~RW4YC4.dockerbuild Expired
18.2 KB
viperproject~gobra~YZ6UTP.dockerbuild Expired
66.8 KB