source: CIVL/examples/languageFeatures/sideEffects.cvl@ 38b7d06

#include<civlc.h>

void main() {
  int a;
  int b;
  int c;

  a = b = c = 0;
  b++;
  a = ++b;
  c = a--;
  b = c++;
  $assert a == 1;
  $assert b == 2;
  $assert c == 3;
}