sbt-instrumentation icon indicating copy to clipboard operation
sbt-instrumentation copied to clipboard
verified publisher icon staticafi

VR: extend to verify some cstr benchmarks

Open GiraffeReversed opened this issue 4 years ago • 2 comments

Tested on SV-COMP21_valid-memsafety category, changed no answers except for newly verified benchmarks.

Depends on VR: use fixed and refactored version #65.

GiraffeReversed avatar Nov 16 '21 22:11 GiraffeReversed

This are the commits from svcomp22 branch right? Don't know how much they are polished, but they have been quite well tested as they were used in SV-COMP 22. Also, I do not know how much @GiraffeReversed will react on any request for changes, so maybe they are good to be merged as they are? (maybe with some cosmetic changes).

mchalupa avatar May 17 '22 11:05 mchalupa

Hi :) I don't really know what the requested cosmetic changes are... (but hopefully I am able to perform them after the exam period). Also, I will gladly try to explain how the code works, once I am back from Erasmus.

GiraffeReversed avatar May 18 '22 17:05 GiraffeReversed