source: CIVL/examples/library/civlc/equals.cvl@ 897c8d7

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

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);
}