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