The Meta-Environment API
00001 #ifndef __ASSERT__ 00002 #define __ASSERT__ 00003 00004 process AssertEqual(Term1: term, Term2: term) is 00005 if not-equal(Term1, Term2) then 00006 printf("Assertion failed: \nTerm1: [%t]\nTerm2: [%t]\n", Term1, Term2) 00007 . shutdown("") 00008 else 00009 tau 00010 fi 00011 00012 #endif /*__ASSERT__*/