From 36a9f2959adbabb12974d12c7c61bf1a5318fddc Mon Sep 17 00:00:00 2001
From: Remy Willems <rwillems@amazon.com>
Date: Mon, 27 Feb 2023 11:26:33 +0100
Subject: [PATCH 1/2] Update description of verificationTimeLimit preference

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index fee5e4f2..5822fe55 100644
--- a/package.json
+++ b/package.json
@@ -141,7 +141,7 @@
         "dafny.verificationTimeLimit": {
           "type": "number",
           "default": "20",
-          "description": "Maximum number of time in seconds to verify a document, 0=infinite (requires restart)"
+          "description": "Maximum amount of time spent on attempting to verify a document, 0=infinite (requires restart)"
         },
         "dafny.verificationVirtualCores": {
           "type": "number",

From 2f1a06c1532d5e116e2311682843fcb357ae3eb0 Mon Sep 17 00:00:00 2001
From: Remy Willems <rgv.willems@gmail.com>
Date: Tue, 28 Feb 2023 10:59:12 +0100
Subject: [PATCH 2/2] Update package.json

Co-authored-by: David Cok <david.r.cok@gmail.com>
---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 5822fe55..d4c1b62c 100644
--- a/package.json
+++ b/package.json
@@ -141,7 +141,7 @@
         "dafny.verificationTimeLimit": {
           "type": "number",
           "default": "20",
-          "description": "Maximum amount of time spent on attempting to verify a document, 0=infinite (requires restart)"
+          "description": "Maximum amount of time in seconds spent on attempting to verify a document, 0=infinite (an integer, requires restart)"
         },
         "dafny.verificationVirtualCores": {
           "type": "number",