From ee7ae730942f8f2fa210631ee9bcf31ca255cd78 Mon Sep 17 00:00:00 2001
From: sebastian <sebastian.stock@jku.at>
Date: Wed, 9 Nov 2022 16:23:44 +0100
Subject: [PATCH] fixed failing test

---
 .../server/prob2/proBMangement/BDocumentServiceTest.kt       | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt b/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
index 8c5fb80..5035886 100644
--- a/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
+++ b/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
@@ -114,14 +114,13 @@ class BDocumentServiceTest {
 
         val documentService = BDocumentService(DummyServer(), communicator, ProBKernelManager(communicator))
 
-        //Filling the internel state with some information
         documentService.checkDocument("src/test/resources/WD_M1.mch")
 
         val targetSet =  communicator.pushedDiagnostics.entries.first().value.map { value -> value.source }.toSet()
 
 
         assertEquals(1, communicator.pushedDiagnostics.entries.size)
-        assertEquals(2, communicator.pushedDiagnostics.entries.first().value.size)
+        assertEquals(3, communicator.pushedDiagnostics.entries.first().value.size)
         assertTrue(targetSet.first().contains("b-language-server/src/test/resources/WD_M1.mch"))
 
     }
@@ -134,7 +133,6 @@ class BDocumentServiceTest {
 
         val documentService = BDocumentService(DummyServer(), communicator, ProBKernelManager(communicator))
 
-        //Filling the internel state with some information
         documentService.checkDocument("src/test/resources/WD_M2.mch")
 
         communicator.pushedDiagnostics.clear()
@@ -161,7 +159,6 @@ class BDocumentServiceTest {
 
         val documentService = BDocumentService(DummyServer(), communicator, DummyProBKernelManager(communicator))
 
-        //Filling the internel state with some information
         documentService.checkDocument("src/test/resources/WD_M2.mch")
 
         documentService.checkDocument("src/test/resources/WD_M2.mch")
-- 
GitLab