Skip to content
Formal Verification Plugin CI

create cfa checker for unique #496

Sign in to view logs

create cfa checker for unique

create cfa checker for unique #496

GitHub Actions / JUnit Test Report failed Aug 5, 2024 in 0s

8 tests run, 7 passed, 0 skipped, 1 failed.

Annotations

Check failure on line 542 in FirLightTreeFormVerPluginDiagnosticsTestGenerated$Uniqueness$Bad_unique

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

FirLightTreeFormVerPluginDiagnosticsTestGenerated$Uniqueness$Bad_unique.testDirect_pass_borrowed_unique_to_unique() 

org.opentest4j.AssertionFailedError: Expected data file did not exist. Generating: plugins/formal-verification/testData/diagnostics/uniqueness/bad_unique/direct_pass_borrowed_unique_to_unique.fir.diag.txt
Raw output 
org.opentest4j.AssertionFailedError: Expected data file did not exist. Generating: plugins/formal-verification/testData/diagnostics/uniqueness/bad_unique/direct_pass_borrowed_unique_to_unique.fir.diag.txt
	at app//org.junit.jupiter.api.AssertionUtils.fail(AssertionUtils.java:42)
	at app//org.junit.jupiter.api.Assertions.fail(Assertions.java:150)
	at app//org.junit.jupiter.api.AssertionsKt.fail(Assertions.kt:27)
	at app//org.junit.jupiter.api.AssertionsKt.fail$default(Assertions.kt:26)
	at app//org.jetbrains.kotlin.test.services.JUnit5Assertions.doesEqualToFile(JUnit5Assertions.kt:54)
	at app//org.jetbrains.kotlin.test.services.JUnit5Assertions.assertEqualsToFile(JUnit5Assertions.kt:74)
	at app//org.jetbrains.kotlin.test.services.JUnit5Assertions.assertEqualsToFile(JUnit5Assertions.kt:30)
	at app//org.jetbrains.kotlin.test.Assertions.assertEqualsToFile(Assertions.kt:15)
	at app//org.jetbrains.kotlin.test.Assertions.assertEqualsToFile$default(Assertions.kt:14)
	at app//org.jetbrains.kotlin.test.frontend.fir.handlers.FullDiagnosticsRenderer.assertCollectedDiagnostics(FirDiagnosticsHandler.kt:94)
	at app//org.jetbrains.kotlin.test.frontend.fir.handlers.FirDiagnosticsHandler.processAfterAllModules(FirDiagnosticsHandler.kt:131)
	at app//org.jetbrains.kotlin.test.TestRunner.runTestPipeline(TestRunner.kt:102)
	at app//org.jetbrains.kotlin.test.TestRunner.runTestImpl(TestRunner.kt:70)
	at app//org.jetbrains.kotlin.test.TestRunner.runTest(TestRunner.kt:30)
	at app//org.jetbrains.kotlin.test.TestRunner.runTest$default(TestRunner.kt:28)
	at app//org.jetbrains.kotlin.test.runners.AbstractKotlinCompilerTest.runTest(AbstractKotlinCompilerTest.kt:93)
	at app//org.jetbrains.kotlin.formver.plugin.runners.FirLightTreeFormVerPluginDiagnosticsTestGenerated$Uniqueness$Bad_unique.testDirect_pass_borrowed_unique_to_unique(FirLightTreeFormVerPluginDiagnosticsTestGenerated.java:542)
	at [email protected]/java.lang.reflect.Method.invoke(Method.java:566)
	at [email protected]/java.util.concurrent.RecursiveAction.exec(RecursiveAction.java:189)
	at [email protected]/java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:290)
	at [email protected]/java.util.concurrent.ForkJoinPool$WorkQueue.topLevelExec(ForkJoinPool.java:1020)
	at [email protected]/java.util.concurrent.ForkJoinPool.scan(ForkJoinPool.java:1656)
	at [email protected]/java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1594)
	at [email protected]/java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:183)
View more details on GitHub Actions