False alarm in heap-manipulation/dll_of_dll-1.i
in
test/programs/benchmarks/heap-manipulation/dll_of_dll-1.i
with
Verification result: FALSE. Property violation (__VERIFIER_error(); called in line 536) found by chosen configuration.
Edited by Philipp Wendler