def doit(): checks = [CHECK.BI] extraflags = ['--no-barrier-access-checks','--only-divergence','--asymmetric-asserts'] return build_and_run(checks,extraflags)
def doit(): checks = [CHECK.RACE, CHECK.BI_ACCESS] return build_and_run(checks)
def doit(): return build_and_run([CHECK.RACE])