Python OpenClBacktrackingHelper.ShouldCheckpoint Beispiele

Beispiel #1

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

Beispiel #2

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