Fix overflow in nla-digbench/geo*-ll (!1515) · Merge requests · SoSy-Lab / Benchmarking / SV-Benchmarks

Frank Schüssele requested to merge nla-geo into main Nov 23, 2023

As already discussed in !1511 (merged) the tasks nla-digbench/geo*-ll can also overflow, which is also confirmed by Automizer and Symbiotic. Therefore I fixed them (and all the derived tasks) in the same way as geo1-u in !1511 (merged).

Edited Nov 23, 2023 by Frank Schüssele

Fix overflow in nla-digbench/geo*-ll

Merge request reports