benchexec icon indicating copy to clipboard operation
benchexec copied to clipboard
verified publisher icon sosy-lab

Add tool-info module for VerCors

Open MartinSpiessl opened this issue 3 years ago • 1 comments

This adds a basic tool-info module for VerCors. I am not the author of VerCors, but use that tool for research purposes.

MartinSpiessl avatar Apr 03 '23 10:04 MartinSpiessl

Is merging this still desired or should it be closed?

PhilippWendler avatar Oct 20 '23 09:10 PhilippWendler

Closing due to lack of response.

PhilippWendler avatar Jun 12 '24 05:06 PhilippWendler