source: CIVL/examples/library/civlc/assertNullPointer.cvl@ 764d472

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

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