h0nzZik/llvm-nts-PartialOrderReduction

Conditions C0 and C2 are not checked

Opened this issue · 0 comments

h0nzZik commented

For condition C2, add some parametrization of POVisitor in order to allow user specify set of interesting global variables.