Added arena checkpointing

2026-06-05 22:22:00 +02:00
parent fc7253e412
commit 87bfb6db8a
4 changed files with 109 additions and 20 deletions
@@ -6,7 +6,7 @@
        {
            "label": "build",
            "type": "shell",
-            "command": "${workspaceFolder}/build.sh && ./a.out",
+            "command": "${workspaceFolder}/build.sh && ./a.out 2>&1",
            "group": {
                "kind": "build",
                "isDefault": true