!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);

}