noop

main.py

@@ -3,12 +3,7 @@ import subprocess
 import tempfile
 from pathlib import Path
 
-EXAMPLE_CODE = """void f()
-{
-    T v = 0;
-    v->value = 42;
-    v->next = v;
-}"""
+EXAMPLE_CODE = open("/workspace/psychec/test.c", "r").read()
 
 def run_psychec(c_code: str):
     """Run PsycheC type inference on the provided C code."""