Make test more stable

dafny-lang · Sep 12, 2023 · 5e499c2 · 5e499c2
1 parent 282a0ec
commit 5e499c2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Source/DafnyLanguageServer.Test/DafnyLanguageServerTestBase.cs b/Source/DafnyLanguageServer.Test/DafnyLanguageServerTestBase.cs
@@ -41,6 +41,8 @@ requires p > 0 && q > 0
  }
 }".TrimStart();
 
+ protected string SlowToVerifyNoLimit => SlowToVerify.Replace(" {:rlimit 100}", "");
+
  protected readonly string NeverVerifies = @"
 lemma {:neverVerify} HasNeverVerifyAttribute(p: nat, q: nat)
  ensures true

diff --git a/Source/DafnyLanguageServer.Test/Synchronization/DiagnosticsTest.cs b/Source/DafnyLanguageServer.Test/Synchronization/DiagnosticsTest.cs
@@ -1082,7 +1082,7 @@ public async Task ApplyChangeBeforeVerificationFinishes() {
 method test() {
  assert false;
 }
-".TrimStart() + SlowToVerify;
+".TrimStart() + SlowToVerifyNoLimit;
  await SetUp(options => options.Set(BoogieOptionBag.Cores, 1U));
  var documentItem = CreateTestDocument(source, "ApplyChangeBeforeVerificationFinishes.dfy");
  client.OpenDocument(documentItem);