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

void main(){
  double x;
  double *p=&x; 
  //$assert(p); // OK
  if(p){
    printf("true");
  }else{
    printf("false");
  }
}