diff --git a/.github/workflows/acl2.yml b/.github/workflows/acl2.yml
index 116c19eb12..9c915bd84c 100644
--- a/.github/workflows/acl2.yml
+++ b/.github/workflows/acl2.yml
@@ -53,6 +53,7 @@ jobs:
           do
             cd tmp/tgc/$dir; # enter the directory
             ./../../../acl2/tgc canonicalization initial_ast.json canonicalization_ast.json canonicalization-theorem.lisp > result.out || errors+=("$dir");
+            ./../../../acl2/tgc type-inference canonicalization_ast.json type_inferenced_ast.json type-inference-theorem.lisp || errors+=("$dir");
             cd ../../..
           done;
 
diff --git a/test-framework/src/bin/tgc.rs b/test-framework/src/bin/tgc.rs
index 29594aba89..ff0ebb36a5 100644
--- a/test-framework/src/bin/tgc.rs
+++ b/test-framework/src/bin/tgc.rs
@@ -97,7 +97,7 @@ fn run_with_args(opt: Opt) -> Result<(), Box<dyn Error>> {
                 .unwrap_or(PathBuf::from(path));
 
             // Write all files into the directory.
-            let (initial, canonicalized, _type_inferenced) = generate_asts(cwd, text)?;
+            let (initial, canonicalized, type_inferenced) = generate_asts(cwd, text)?;
 
             target.push("initial_ast.json");
             fs::write(target.clone(), initial)?;
@@ -105,6 +105,10 @@ fn run_with_args(opt: Opt) -> Result<(), Box<dyn Error>> {
 
             target.push("canonicalization_ast.json");
             fs::write(target.clone(), canonicalized)?;
+            target.pop();
+
+            target.push("type_inferenced_ast.json");
+            fs::write(target.clone(), type_inferenced)?;
         }
     }
 
@@ -133,7 +137,8 @@ fn handle_error(res: Result<(), Box<dyn Error>>) {
     match res {
         Ok(_) => (),
         Err(err) => {
-            eprintln!("Error: {}", err);
+            // eprintln!("Error: {}", err);
+            panic!();
             std::process::exit(1);
         }
     }