Skip to content

Add RELAY-SV to race detection categories

Vesal Vojdani requested to merge vesal.vojdani/bench-defs:relay-sv into main

Adding the RELAY files.

I marked this as draft originally, as I was not sure if it makes sense to run this. The tool is meant to analyze "millions of lines of code". Sill, the paper states that the method is meant to be sound, so it should be viewed as a verifier.

Edited by Vesal Vojdani

Merge request reports