source: CIVL/examples/library/civlc/equals.cvl@ 2e2a7a5

#include<civlc.h>

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