!include once #1034831 // Gazelle 22 Function Include for Testing

set flag PingV3.

svoid test_leftArrowScript_pinging() {
  embedded S countLoop(int n) {
    ret [[ i <- 0; while lessThan i ]] + n + [[ { i <- plus i 1 }; i ]];
  }
  
  // Test that ping is called at least once per loop iteration
  var script1 = leftArrowParse(countLoop(5));
  var script2 = leftArrowParse(countLoop(6));
  long pingCount1 = countPingCalls(-> script1!);
  long pingCount2 = countPingCalls(-> script2!);
  printVars(+pingCount1, +pingCount2);
  assertTrue(pingCount2 > pingCount1);
}