Changed benchmark output

2020-02-13 20:00:34 +01:00
parent 1a8f9a83b0
commit e749c877f1
4 changed files with 60 additions and 26 deletions
--- a/.vscode/tasks.json
+++ b/.vscode/tasks.json
@@ -10,7 +10,8 @@
            "args": [
                "-m",
                "benchmark.timing"
-            ]
+            ],
+            "problemMatcher": []
        },
        {
            "label": "Unsolved benchmark",
@@ -20,6 +21,7 @@
                "-m",
                "benchmark.unsolved"
            ],
+            "problemMatcher": []
        }
    ]
 }