source: CIVL/mods/dev.civl.com/examples/languageFeatures/assertNullPointer.cvl@ cb4d4f4

/* 
 * Commandline example:
 *     civl verify assertNullPointer.cvl
 */
#include<civlc.cvh>

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