source: CIVL/examples/specialStatements/when1.cvl@ afc300c

#include<civlc.cvh>

int main(){
  int a=10;

  $when(a<100){
    $assert(a==10);
    int a=9;
    $assert(a==9);
  }
  $assert(a==10);
}