Add missing termination measures in the sequence and array encodings … · viperproject/gobra@b1bf999

Re-run triggered April 2, 2024 16:08

jcp19

master

Status Success

Total duration 19m 33s

Artifacts 1

test.yml

on: push

2 warnings

Java used up to 4.92979GB of RAM

Z3 used up to 0.825692GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	51.5 KB