Tomáš Dacík

icon company @VeriFIT icon location Ph.D. student at FIT BUT, member of the @VeriFIT research group. Interested in program analysis and (separation) logic.

Results 3 issues of Tomáš Dacík

SV-COMP 25: Add tool info for RacerF

tool support

Documentation page is missing the latest version

3 comment

The [page](https://gbury.github.io/dolmen/) linked from README is missing versions 0.9 and 0.10.

Feature request: allow tool module to specify reason of unknown result

1 comment

If I understand correctly, the tool module can specify reason for an error result by using `RESULT_ERROR + " (error)"`, but this is not possible for `RESULT_UNKNOWN` (`RESULT_UNKNOWN + "...