Remove faulty test

onriv · Oct 19, 2024 · 7e39f4b · 7e39f4b
1 parent 6ae0a59
commit 7e39f4b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/kotlin/lean4ij/MyPluginTest.kt b/src/test/kotlin/lean4ij/MyPluginTest.kt
@@ -32,7 +32,7 @@ class MyPluginTest : BasePlatformTestCase() {
     fun testProjectService() {
         val projectService = project.service<MyProjectService>()
 
-        assertNotSame(projectService.getRandomNumber(), projectService.getRandomNumber())
+//        assertNotSame(projectService.getRandomNumber(), projectService.getRandomNumber())
     }
 
     override fun getTestDataPath() = "src/test/testData/rename"