Execute happens-before queries on the given analyzer. This checks, whether for two given slicing criteria a and b, a happens before b in the control flow graph.
a
b
Execute happens-before queries on the given analyzer. This checks, whether for two given slicing criteria
aandb,ahappens beforebin the control flow graph.