source: CIVL/examples/languageFeatures/nonbooleanCondition.cvl@ b50d2e7

/* Commandline execution:
 *              civl verify nonbooleanCondition.cvl
 * */
#include<civlc.h>

void main() {
  int i = 1;
  float x = 1.0;
  
  $when(i) {i = 0;}
  $when(x) {x = 0.0;}
  $assert i == 0;
  $assert x == 0.0;
}