source: CIVL/examples/library/civlc/equals.cvl

#include<civlc.cvh>
#include<pointer.cvh>

$scope root = $here;
void main(){
  int* data;
  _Bool result;
  int a = 1;
  
  data = (int*) $malloc(root, sizeof(int)*2);
  *data = 1;
  *(data + 1) = 2;
  result = $equals(data, data+1); 
  $assert(!result);
  result = $equals(data, &a); 
  $assert(result);
  $free(data);
}