source: tests/avltree/avl0.cfa@ 4a60488

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since 4a60488 was 107b01a, checked in by Thierry Delisle <tdelisle@…>, 7 years ago

Several changes to the makefiles

  • change .c tests to .cfa
  • add require for libtool in configure
  • libtoolize to fix some warnings
  • Property mode set to 100644
File size: 185 bytes
Line 
1#include "avl.h"
2
3forall(otype T | Comparable(T))
4int ?==?(T t1, T t2) {
5 return !(t1 < t2) && !(t2 < t1);
6}
7
8forall(otype T | Comparable(T))
9int ?>?(T t1, T t2) {
10 return t2 < t1;
11}
Note: See TracBrowser for help on using the repository browser.