Python OpenClBacktrackingHelper.ShouldCheckpoint Examples

Example #1

def test_OpenClBacktrackingHelper_ShouldCheckpoint_for_loop_3(
  backtracker: backtracking_model.OpenClBacktrackingHelper,
):
  assert backtracker.ShouldCheckpoint("for (int i = 0; i < 10; ++i) { int x;")

Example #2

def test_OpenClBacktrackingHelper_ShouldCheckpoint_yes(
  backtracker: backtracking_model.OpenClBacktrackingHelper,
):
  assert backtracker.ShouldCheckpoint("int x = 5;")