[ fix ] Timeout on Auto on Windows

Author: banacorn

lib/js/test/tests/Test__Auto.bs.js

@@ -3,26 +3,42 @@ open Test__Util
 
 let run = normalization => {
   Async.it("should be responded with correct responses 1", async () => {
+    Js.Console.log("Test__Auto: Starting makeAndLoad")
     let ctx = await AgdaMode.makeAndLoad("Auto.agda")
+    Js.Console.log("Test__Auto: makeAndLoad completed")
+    Js.Console.log2("Test__Auto: Goal count:", Array.length(ctx.state.goals))
+    switch ctx.state.agdaVersion {
+    | Some(version) => Js.Console.log2("Test__Auto: Agda version:", version)
+    | None => Js.Console.log("Test__Auto: No Agda version found")
+    }
 
+    Js.Console.log("Test__Auto: Looking for goal at index 0")
     let responses = switch Goals.getGoalByIndex(ctx.state.goals, 0) {
     | Some(goal) =>
+      Js.Console.log("Test__Auto: Found goal, sending Auto request")
       await ctx.state->State__Connection.sendRequestAndCollectResponses(
         Request.Auto(normalization, goal),
       )
-    | None => []
+    | None => 
+      Js.Console.log("Test__Auto: No goal found at index 0")
+      []
     }
+    Js.Console.log("Test__Auto: Auto request completed")
 
     let filteredResponses = responses->Array.filter(filteredResponse)
+    Js.Console.log2("Test__Auto: Filtered response count:", Array.length(filteredResponses))
 
     switch ctx.state.agdaVersion {
     | Some(version) =>
+      Js.Console.log2("Test__Auto: Checking version >= 2.7.0 for version:", version)
       if Util.Version.gte(version, "2.7.0") {
+        Js.Console.log("Test__Auto: Using >= 2.7.0 assertion")
         Assert.deepStrictEqual(
           filteredResponses,
           [GiveAction(0, GiveString("n")), InteractionPoints([1])],
         )
       } else {
+        Js.Console.log("Test__Auto: Using < 2.7.0 assertion")
         Assert.deepStrictEqual(
           filteredResponses,
           [
@@ -34,6 +50,7 @@ let run = normalization => {
       }
     | None => Assert.fail("No Agda version found")
     }
+    Js.Console.log("Test__Auto: Assertion completed successfully")
   })
 
   Async.it("should be responded with correct responses 2", async () => {
@@ -71,7 +88,7 @@ let run = normalization => {
   })
 }
 
-describe("agda-mode.auto", () => {
+describe_only("agda-mode.auto", () => {
   This.timeout(4000)
 
   describe("AsIs", () => {