source: CIVL/examples/languageFeatures/assertNonNullPointer.cvl@ e5c6156

/* 
 * Commandline example:
 *     civl verify assertNonNullPointer.cvl
 */
#include<civlc.h>
#include<stdio.h>

void main(){
  double x;
  double *p=&x; 
  $assert(p); // OK
}