source: CIVL/examples/languageFeatures/assertNullPointer.cvl@ b51463d

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

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