release: v1.5.0

JetBrains-Research · Nov 29, 2023 · 5e52514 · 5e52514
1 parent 070a1d6
commit 5e52514
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/test/coqLlmInteractionTests/proofView.test.ts b/src/test/coqLlmInteractionTests/proofView.test.ts
@@ -322,6 +322,9 @@ suite('ProofView parseFile tests', () => {
                 const theorem = theorems[i];
                 const thrRes = res[i];
 
+                console.log("DEBUG 1", thrRes);
+                console.log("DEBUG 2", theorem);
+
                 assert.strictEqual(thrRes.name, theorem.name);
                 assert.strictEqual(thrRes.proof!.proof_steps.length, theorem.numOfSteps);
                 assert.strictEqual(thrRes.proof!.is_incomplete, theorem.isIncomplete);