Skip to content
CI

Update core/src/main/kotlin/org/evomaster/core/problem/api/service/Ap… #6978

Sign in to view logs

Update core/src/main/kotlin/org/evomaster/core/problem/api/service/Ap…

Update core/src/main/kotlin/org/evomaster/core/problem/api/service/Ap… #6978

GitHub Actions / JUnit Test Report failed Dec 19, 2024 in 0s

6263 tests run, 6109 passed, 153 skipped, 1 failed.

Annotations

Check failure on line 35 in e2e-tests/spring-rest-h2-z3solver/src/test/java/org/evomaster/e2etests/spring/h2/z3solver/Z3SolverEMTest.java

See this annotation in the file changed.

@github-actions github-actions / JUnit Test Report

Z3SolverEMTest.testRunEM 

Error writing SMTLib to file
Raw output 
java.lang.RuntimeException: Error writing SMTLib to file
	at org.evomaster.core.solver.SMTLibZ3DbConstraintSolver.storeToTmpFile(SMTLibZ3DbConstraintSolver.kt:317)
	at org.evomaster.core.solver.SMTLibZ3DbConstraintSolver.solve(SMTLibZ3DbConstraintSolver.kt:89)
	at org.evomaster.core.solver.DbConstraintSolver$DefaultImpls.solve$default(DbConstraintSolver.kt:16)
	at org.evomaster.core.problem.api.service.ApiWsStructureMutator.handleDSE(ApiWsStructureMutator.kt:403)
	at org.evomaster.core.problem.api.service.ApiWsStructureMutator.handleFailedWhereSQL(ApiWsStructureMutator.kt:309)
	at org.evomaster.core.problem.api.service.ApiWsStructureMutator.addInitializingSqlActions(ApiWsStructureMutator.kt:276)
	at org.evomaster.core.problem.api.service.ApiWsStructureMutator.addInitializingActions(ApiWsStructureMutator.kt:161)
	at org.evomaster.core.problem.rest.service.ResourceRestStructureMutator.addInitializingActions(ResourceRestStructureMutator.kt:603)
	at org.evomaster.core.search.service.mutator.Mutator.mutateAndSave(Mutator.kt:151)
	at org.evomaster.core.search.algorithms.MioAlgorithm.searchOnce(MioAlgorithm.kt:48)
	at org.evomaster.core.search.service.SearchAlgorithm.search(SearchAlgorithm.kt:77)
	at org.evomaster.core.Main$Companion.run(Main.kt:605)
	at org.evomaster.core.Main$Companion.initAndRun(Main.kt:201)
	at org.evomaster.core.Main.initAndRun(Main.kt)
	at org.evomaster.e2etests.utils.RestTestBase.initAndRun(RestTestBase.java:25)
	at org.evomaster.e2etests.spring.h2.z3solver.Z3SolverEMTest.lambda$testRunEM$0(Z3SolverEMTest.java:35)
	at org.evomaster.e2etests.utils.EnterpriseTestBase.lambda$null$4(EnterpriseTestBase.java:233)
	at org.evomaster.e2etests.utils.EnterpriseTestBase.handleFlaky(EnterpriseTestBase.java:454)
	at org.evomaster.e2etests.utils.EnterpriseTestBase.lambda$runTestHandlingFlaky$5(EnterpriseTestBase.java:229)
	at org.junit.jupiter.api.AssertTimeout.lambda$assertTimeoutPreemptively$2(AssertTimeout.java:102)
	at org.junit.jupiter.api.AssertTimeout.lambda$assertTimeoutPreemptively$4(AssertTimeout.java:138)
	at java.util.concurrent.FutureTask.run(FutureTask.java:266)
	at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
	at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
	at java.lang.Thread.run(Thread.java:750)
Caused by: java.nio.file.AccessDeniedException: /home/runner/work/EvoMaster/EvoMaster/e2e-tests/spring-rest-h2-z3solver/target/tmp/smt2_1734628043480.smt2
	at sun.nio.fs.UnixException.translateToIOException(UnixException.java:84)
	at sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:102)
	at sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:107)
	at sun.nio.fs.UnixFileSystemProvider.newByteChannel(UnixFileSystemProvider.java:214)
	at java.nio.file.spi.FileSystemProvider.newOutputStream(FileSystemProvider.java:434)
	at java.nio.file.Files.newOutputStream(Files.java:216)
	at java.nio.file.Files.write(Files.java:3292)
	at org.evomaster.core.solver.SMTLibZ3DbConstraintSolver.storeToTmpFile(SMTLibZ3DbConstraintSolver.kt:315)
	... 24 more
View more details on GitHub Actions