source: CIVL/examples/bench/binaryGuards.cvl@ 87397f9

#include<civlc.cvh>
$input int N, B=10;
$input int x,y;
$assume(0<N && N<=B);

int main(){
  int a=0;
  
  for(int i=0; i<N; i++){
    if(x+i>y+i)
      a=a+i;
    else
      a=a-i;
  }
}