示例#1
0
def doit():
  checks = [CHECK.BI]
  extraflags = ['--no-barrier-access-checks','--only-divergence','--asymmetric-asserts']
  return build_and_run(checks,extraflags)
示例#2
0
def doit():
  checks = [CHECK.RACE, CHECK.BI_ACCESS]
  return build_and_run(checks)
示例#3
0
def doit():
  return build_and_run([CHECK.RACE])