Update

marvinborner · marvinborner · commit efa6ade711db · 2025-08-13T01:13:24.000+02:00
diff --git a/optiscope b/optiscope
@@ -1 +1 @@
-Subproject commit 5fc528204e9456e76601a44049a91283753f688b
+Subproject commit a2e279b8dc33ce6a0dd51e6ce5bb235c8ba32d07
diff --git a/readme.txt b/readme.txt
@@ -30,7 +30,7 @@ Any test reducing for more than 5s without reaching a normal form is deemed to h
 │ Test            │ Passed │ Timeout │ Failed │
 ├─────────────────┼────────┼─────────┼────────┤
 │ Haskell HOAS    │ 3466   │ 0       │ 0      │
-│ Optiscope       │ 3385   │ 81      │ 0      │
+│ Optiscope       │ 3301   │ 164     │ 1      │
 │ Tromp AIT/nf.c  │ 1935   │ 5       │ 1526   │
 │ Your project    │ ?      │ ?       │ ?      │
 └─────────────────┴────────┴─────────┴────────┘
