Fix tests

dafny-lang · Aug 23, 2023 · c3b1cde · c3b1cde
1 parent b929ec8
commit c3b1cde
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/test/suite/extension.test.ts b/src/test/suite/extension.test.ts
@@ -178,7 +178,7 @@ suite('Verification Gutter', () => {
       LineVerificationStatus.VerifiedObsolete,
       LineVerificationStatus.VerifiedObsolete
     ];
-    assert.strictEqual(expected, computedIcons);
+    assert.equal(expected, computedIcons);
   });
 
   test('computeGutterIconsResolved', () => {
@@ -253,7 +253,7 @@ suite('Verification Gutter', () => {
       LineVerificationStatus.AssertionFailed,
       LineVerificationStatus.ErrorContext
     ];
-    assert.strictEqual(expected, computedIcons);
+    assert.equal(expected, computedIcons);
   });
 });