int main() { printf("\n"); print_abs(0); printf("\n"); print_abs(1); print_abs(10); print_abs(INT_MAX); printf("\n"); print_abs(-1); print_abs(-10); print_abs(INT_MIN); }
void printall() { cprintf("$ \n"); cprintf("\\text{Principal } 1 == A \\\\ \n"); cprintf("\\text{Principal } 2 == B \\\\ \n"); cprintf("\\text{Principal } 3 == C \\\\ \n"); cprintf("\\text{Principal } 4 == D \\\\ \n"); cprintf("\\text{Principal } 5 == E \\\\ \n"); cprintf("\\text{Principal } 6 == F \\\\ \n"); cprintf("\\text{Principal } 7 == G \\\\ \n"); cprintf("\\text{Predicate } 99 == OK \\\\ \n"); cprintf("\\text{Predicate } 100 == ALRIGHT \\\\\\\\ \n"); cprintf("\\text{PRINTING FORMULAE} \\\\\\\\ \n"); print_pred(); freeall(); cprintf(" \\\\\\\\ \n"); print_impl(); freeall(); cprintf(" \\\\\\\\ \n"); print_signed(); freeall(); cprintf(" \\\\\\\\ \n"); print_says(); freeall(); cprintf(" \\\\\\\\ \n"); print_confirms(); freeall(); cprintf(" \\\\\\\\ \n"); print_abs(); freeall(); cprintf(" \\\\\\\\ \n"); cprintf("\\text{PRINTING CONTEXT} \\\\\\\\ \n"); print_context(); freeall(); cprintf(" \\\\\\\\ \n"); cprintf("\\text{PRINTING PROOFS} \\\\\\\\ \n"); print_signed_p(); freeall(); cprintf(" \\\\\\\\\\\\\\\\ \n"); print_confirms_p(); freeall(); cprintf(" \\\\\\\\\\\\\\\\ \n"); print_assump_p(); freeall(); cprintf(" \\\\\\\\\\\\\\\\ \n"); print_tauto_p(); freeall(); cprintf(" \\\\\\\\\\\\\\\\ \n"); print_weaken_impl_p(); freeall(); cprintf(" \\\\\\\\\\\\\\\\ \n"); print_impl_p(); freeall(); cprintf(" \\\\\\\\\\\\\\\\ \n"); print_says_confirms(); freeall(); cprintf(" \\\\\\\\\\\\\\\\ \n"); print_says_signed(); freeall(); cprintf(" \\\\\\\\\\\\\\\\ \n"); print_says_says(); freeall(); cprintf(" \\\\\\\\\\\\\\\\ \n"); print_says_spec(); freeall(); cprintf(" \\\\\\\\\\\\\\\\ \n"); cprintf("$ \n"); freeall(); cprintf("\\begin{landscape} \n $"); print_delegation(); freeall(); cprintf("$ \n \\end{landscape} \n "); }