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

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

typedef struct Interval {
  int left;
  int right;
} Interval;

void main() {
  Interval result;
  
  result.left = 0;
  result.right = 1;
  
  $assert result.left == 0;
  $assert result.right == 1;
}