source: CIVL/examples/languageFeatures/sideEffects.cvl@ 1258be5

/* Commandline execution:
 *              civl verify sideEffects.cvl
 * */
#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;
}