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

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

void main() {
  int *p;
  
  p = 0;
  $assert p == NULL;
}