From 37b876d18c57cce12fb1c2d2f14a26e6197a4dfd Mon Sep 17 00:00:00 2001 From: Dwight Guth Date: Wed, 18 Dec 2024 13:04:27 -0600 Subject: [PATCH] Update main.ll --- runtime/main/main.ll | 2 ++ 1 file changed, 2 insertions(+) diff --git a/runtime/main/main.ll b/runtime/main/main.ll index a81216c74..c258a9d5a 100644 --- a/runtime/main/main.ll +++ b/runtime/main/main.ll @@ -21,6 +21,7 @@ declare void @print_proof_hint_header(ptr) @proof_out.flag = private constant [15 x i8] c"--proof-output\00" @proof_chunk.flag = private constant [19 x i8] c"--proof-chunk-size\00" +@input_filename = external global ptr @proof_writer = external global ptr @statistics = external global i1 @binary_output = external global i1 @@ -119,6 +120,7 @@ if: call void @print_proof_hint_header(ptr %proof_writer) br label %else else: + store ptr %filename, ptr @input_filename %ret = call ptr @parse_configuration(ptr %filename) %result = call ptr @take_steps(i64 %depth, ptr %ret) call void @finish_rewriting(ptr %result, i1 0)