mukul-rathi/bolt

Write a set of litmus tests for data-race type-checker

Closed this issue · 1 comments

mukul-rathi commented

This could be used to demonstrate the expressivity of the data-race type-checker.

mukul-rathi commented

not doing litmus test rigs