コード例 #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])