Python OpenClBacktrackingHelper.ShouldProceed Examples

Example #1

def test_OpenClBacktrackingHelper_ShouldProceed_loop3(
  backtracker: backtracking_model.OpenClBacktrackingHelper,
):
  assert backtracker.ShouldProceed(
    """kernel void A(global int* a) {
  for (int i = 0; i < 10; ++i) { int x = 10;"""
  )

Example #2

def test_OpenClBacktrackingHelper_ShouldProceed_depth1(
  backtracker: backtracking_model.OpenClBacktrackingHelper,
):
  assert backtracker.ShouldProceed(
    """kernel void A(global int* a) {
  int b = 0;"""
  )

Example #3

def test_OpenClBacktrackingHelper_ShouldProceed_depth2(
  backtracker: backtracking_model.OpenClBacktrackingHelper,
):
  assert backtracker.ShouldProceed(
    """kernel void A(global int* a) {
  int b = 0;
  if (get_global_id(0) < 10) {
    int c = 2;"""
  )