James

Add syntax so that: ``` val frac_tyax = new_type_definition( "frac", Q.prove(`?x. (\f:int#int. 0i

Understanding Callgraph Output/Doing Callgraph Analysis

8

Hello! I have run cclyzer with the default context-insensitive analysis on: ```c #include "stdio.h" void a() { printf("Hello world!"); } int main (int argc, char* argv[]) { a(); return 0;...