Change some task definitions for ldv benchmarks where invalid dereferences happen (!1393) · Merge requests · SoSy-Lab / Benchmarking / SV-Benchmarks · GitLab

Sign in or sign up before continuing. Don't have an account yet? Register now to get started.

Closes issue #1353 (closed)

Edited Nov 07, 2022 by Raphaël Monat