コード例 #1
0
def test_OpenClBacktrackingHelper_ShouldCheckpoint_for_loop_3(
  backtracker: backtracking_model.OpenClBacktrackingHelper,
):
  assert backtracker.ShouldCheckpoint("for (int i = 0; i < 10; ++i) { int x;")
コード例 #2
0
def test_OpenClBacktrackingHelper_ShouldCheckpoint_yes(
  backtracker: backtracking_model.OpenClBacktrackingHelper,
):
  assert backtracker.ShouldCheckpoint("int x = 5;")