From 4ad793fd4d5fc554ff40dc2a8bdd0d85820cacc0 Mon Sep 17 00:00:00 2001
From: sebastian <sebastian.stock@jku.at>
Date: Thu, 10 Nov 2022 14:19:55 +0100
Subject: [PATCH] fixed failing test
---
src/main/kotlin/b/language/server/proBMangement/prob/Util.kt | 2 +-
.../server/prob2/proBMangement/BDocumentServiceTest.kt | 3 ++-
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt b/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt
index 80d74cd..d51c726 100644
--- a/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt
+++ b/src/main/kotlin/b/language/server/proBMangement/prob/Util.kt
@@ -24,7 +24,7 @@ fun convertErrorItems(errorItems: List<ErrorItem>, currentLoadedFile : String) :
Position(0,0)),
errorItem.message,
getErrorItemType(errorItem.type),
- separatorToSystems(currentLoadedFile)))
+ separatorToSystems(File(currentLoadedFile).absolutePath)))
}
}.flatten()
}
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 bf360da..283a36e 100644
--- a/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
+++ b/src/test/kotlin/b/language/server/prob2/proBMangement/BDocumentServiceTest.kt
@@ -116,7 +116,8 @@ class BDocumentServiceTest {
val documentService = BDocumentService(DummyServer(), communicator, ProBKernelManager(communicator))
- val expectedDocument = File("b-language-server/src/test/resources/WD_M1.mch").absolutePath
+
+ val expectedDocument = File("src/test/resources/WD_M1.mch").absolutePath
documentService.checkDocument(URI("src/test/resources/WD_M1.mch"))
--
GitLab