source: CIVL/examples/experimental/ex3_simple.cvl@ d1acf8e

#include <civlc.cvh>
#include <stdio.h>
#include <math.h>

int main (void) {
  double x = 0.02;

  printf("x is %f", x);
  double y = sqrt(x);
  double z = pow(y, 0.5);
  $assert(x == z);
}