env GraphEmpireOG.Timeout=-1 benchexec/../run-test.sh Library-ProofsTest 'de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$GraphEmpireOG' NoOverflow.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.ats true -------------------------------------------------------------------------------- Thanks for using JUnit! Support its development at https://junit.org/sponsoring Test plan execution started. Number of static tests: 1 ╷ ├─ JUnit Jupiter └─ JUnit Jupiter finished after 5 ms. ├─ JUnit Vintage │ ├─ GraphEmpireOG │ │ ├─ NoOverflow_char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_ats │ │ │ tags: [] │ │ │ uniqueId: [engine:junit-vintage]/[runner:de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$GraphEmpireOG]/[test:NoOverflow_char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current_ats(de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$GraphEmpireOG)] │ │ │ parent: [engine:junit-vintage]/[runner:de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$GraphEmpireOG] │ │ │ source: ClassSource [className = 'de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest$GraphEmpireOG', filePosition = null] [WARN]: Using environment timeout: -1ms [INFO]: No working directory specified, using /storage/repos/ultimate/releaseScripts/default/adds/z3 [INFO]: Starting monitored process 1 with /storage/repos/ultimate/releaseScripts/default/adds/z3 SMTLIB2_COMPLIANT=true -t:1000 -memory:2024 -smt2 -in (exit command is (exit), workingDir is null) [INFO]: [MP /storage/repos/ultimate/releaseScripts/default/adds/z3 SMTLIB2_COMPLIANT=true -t:1000 -memory:2024 -smt2 -in (1)] Waiting until timeout for monitored process [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Initialized classic predicate unifier [INFO]: Start isDeterministic. Operand 2 states and 1627 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 2 states, 2 states have (on average 813.5) internal successors, (1627), 2 states have internal predecessors, (1627), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 1627 edges. 1627 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 18 states and 13632 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 18 states, 18 states have (on average 757.3333333333334) internal successors, (13632), 18 states have internal predecessors, (13632), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 13632 edges. 13632 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 2364 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 788.0) internal successors, (2364), 3 states have internal predecessors, (2364), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 2364 edges. 2364 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 5 states and 3843 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 5 states, 5 states have (on average 768.6) internal successors, (3843), 5 states have internal predecessors, (3843), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 3843 edges. 3843 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 5 states and 3841 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 5 states, 5 states have (on average 768.2) internal successors, (3841), 5 states have internal predecessors, (3841), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 3841 edges. 3841 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 2349 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 783.0) internal successors, (2349), 3 states have internal predecessors, (2349), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 2349 edges. 2349 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 2361 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 787.0) internal successors, (2361), 3 states have internal predecessors, (2361), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 2361 edges. 2361 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 4 states and 3135 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 4 states, 4 states have (on average 783.75) internal successors, (3135), 4 states have internal predecessors, (3135), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 3135 edges. 3135 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Start isDeterministic. Operand 3 states and 2351 transitions. [INFO]: Finished isDeterministic. Operand is deterministic. [INFO]: Starting Floyd-Hoare check of an automaton with has 3 states, 3 states have (on average 783.6666666666666) internal successors, (2351), 3 states have internal predecessors, (2351), 0 states have call successors, (0), 0 states have call predecessors, (0), 0 states have return successors, (0), 0 states have call predecessors, (0), 0 states have call successors, (0) [INFO]: Floyd-Hoare annotation has 2351 edges. 2351 inductive. 0 not inductive. 0 times theorem prover too weak to decide inductivity. 0 times interpolants missing. [INFO]: Number of proof automata: 9 [INFO]: 800 / 839 letters are loopers in proof 0 [INFO]: 755 / 839 letters are loopers in proof 1 [INFO]: 788 / 839 letters are loopers in proof 2 [INFO]: 760 / 839 letters are loopers in proof 3 [INFO]: 760 / 839 letters are loopers in proof 4 [INFO]: 784 / 839 letters are loopers in proof 5 [INFO]: 783 / 839 letters are loopers in proof 6 [INFO]: 783 / 839 letters are loopers in proof 7 [INFO]: 782 / 839 letters are loopers in proof 8 [INFO]: Loopers in proof automata: min=755, max=800, median=783 [INFO]: Start finitePrefix. Operand will be constructed on-demand [INFO]: 21/1075 cut-off events. [INFO]: For 559/604 co-relation queries the response was YES. [INFO]: Finished finitePrefix Result has 1396 conditions, 1075 events. 21/1075 cut-off events. For 559/604 co-relation queries the response was YES. Maximal size of possible extension queue 8. Compared 2026 event pairs, 0 based on Foata normal form. 4/1052 useless extension candidates. Maximal degree in co-relation 1384. Up to 36 conditions per place. [INFO]: OwickiGriesTestSuite setup time: 12592ms [INFO]: Constructing Owicki-Gries proof for Petri program that has 803 places, 839 transitions, 1692 flow. [INFO]: Computed Owicki-Gries annotation with 51 ghost variables, 100 ghost updates, and overall size 253047 [WARN]: Non-inductive transition [160][183]. Invalid Hoare triple: precondition (and (not |v_[l558]_1|) (not |v_[l633, l440]_1|) (not |v_[l244, l525, l171, l528, l116, l456, l340, l279, l169, l715, l270, l195, l261, l705, l218, l552, l632, l797, l101, l701, l704, l739, l738, l314, l735, l623, l108, l625, l686, l723, l14, l750, l658, l137, l232, l22, l378, l138, l641, l28, l401, l31, l235, l502, l125, l574, l467, l748, l50, l0, l153, l4, l436, l6, l154, l322, l491, l399, l438, l437, l254, l532, l591, l389, l450, l86, l182, l521]_1|) (not |v_[l624, l267, l666, l62]_1|) (not |v_[l83]_1|) (not |v_[l27, l685, l379, l118, l142, l374]_1|) (<= 1 |ULTIMATE.start_pc8736x_init_shadow_~port~3#1|) (not |v_[l763, l801, l800, l523, l526, l619, l768, l179, l249, l178, l281, l272, l791, l164, l273, l600, l310, l602, l196, l605, l262, l199, l639, l630, l190, l269, l184, l187, l298, l798, l621, l290, l292, l622, l283, l282, l626, l284, l286, l289, l652, l10, l651, l784, l18, l413, l17, l19, l785, l546, l23, l24, l26, l408, l29, l305, l640, l308, l32, l571, l330, l575, l407, l335, l44, l46, l576, l48, l432, l578, l431, l338, l434, l320, l56, l55, l563, l60, l679, l568, l660, l69, l68, l663, l423, l71, l329, l425, l593, l350, l79, l669, l110, l85, l428, l87, l597, l112, l210, l354, l716, l115, l693, l454, l356, l696, l96, l95, l358, l214, l455, l697, l713, l342, l706, l459, l709, l219, l586, l702, l343, l200, l684, l105, l445, l447, l370, l688, l372, l751, l132, l209, l470, l376, l512, l476, l233, l475, l362, l516, l122, l508, l749, l124, l740, l368, l463, l220, l743, l465, l369, l746, l160, l392, l227, l468, l228, l397, l250, l492, l256, l775, l381, l258, l499, l776, l537, l779, l385, l536, l481, l241, l145, l483, l240, l520, l485, l761, l180, l522]_1|) (not |v_[l726, l664, l345, l587, l143, l222, l364, l662, l294, l551]_1|) (<= |ULTIMATE.start_superio_inb_#res#1| 255) (not (= |ULTIMATE.start_external_alloc_#res#1.base| 0)) (not |v_[l637, l564, l451, l177, l496, l280, l287, l724, l781, l11, l699, l102, l538, l555, l594, l192, l754, l346, l245, l659, l635]_1|) (not |v_[l295, l251]_1|) (not |v_[l301]_1|) (not |v_[l596]_1|) (not |v_[l486, l175, l129, l334, l170, l304, l720, l769, l665, l288]_1|) (<= 0 |ULTIMATE.start_superio_inb_#res#1|) (not |v_[l388]_1|) (not |v_[l618, l718, l599, l248, l94, l525, l171, l453, l116, l613, l163, l715, l261, l341, l552, l700, l632, l797, l101, l441, l704, l183, l189, l735, l623, l687, l723, l519, l750, l378, l138, l641, l401, l31, l235, l33, l363, l509, l36, l502, l125, l43, l504, l464, l337, l672, l467, l748, l224, l153, l57, l322, l252, l399, l398, l437, l532, l76, l592, l84, l182, l764]_1|) (not |v_[l452, l8, l157, l156, l758, l316, l642, l661, l728, l391, l165, l383, l42, l584, l81, l377, l505, l312, l226, l355, l682]_1|) (not |v_[l323]_1|) (not |v_[l148]_1|) (not |v_[l138, l641, l401, l643, l31, l235, l525, l171, l331, l116, l742, l502, l125, l715, l261, l552, l467, l748, l267, l632, l797, l153, l101, l1, l704, l433, l103, l322, l399, l735, l62, l437, l623, l624, l202, l532, l777, l141, l723, l750, l753, l543, l182, l378]_1|) (not |v_[l641, l547, l31, l235, l117, l162, l502, l125, l712, l715, l714, l795, l261, l49, l552, l153, l101, l469, l2, l704, l322, l730, l61, l442, l203, l623, l67, l530, l495, l328, l532, l723, l412, l259, l411, l750, l539, l353, l20, l242, l89, l378, l691]_1|) (not |v_[l357, l802, l525, l171, l614, l116, l609, l311, l715, l261, l552, l217, l191, l797, l101, l681, l631, l193, l704, l703, l796, l293, l620, l559, l347, l623, l109, l300, l723, l654, l13, l750, l655, l415, l378, l757, l473, l120, l641, l401, l400, l31, l235, l403, l644, l741, l502, l744, l125, l223, l648, l506, l225, l467, l748, l153, l322, l59, l399, l65, l772, l382, l532, l255, l534, l73, l667, l595, l429, l487]_1|) (not |v_[l718, l599, l94, l525, l171, l116, l613, l163, l168, l715, l194, l261, l341, l552, l700, l632, l797, l101, l704, l183, l189, l735, l623, l687, l650, l723, l12, l519, l449, l750, l656, l510, l417, l378, l138, l641, l401, l31, l235, l33, l363, l509, l36, l405, l502, l125, l43, l504, l670, l464, l672, l467, l748, l153, l322, l252, l399, l63, l437, l532, l490, l84, l182, l764]_1|) (not |v_[l494, l789, l307, l500, l37, l74, l167, l590, l128, l458, l386, l553, l653, l707, l529, l760, l472, l149, l560, l25, l675]_1|) (not |v_[l694, l488, l93, l695, l271, l615, l276, l582, l457, l313, l554, l588, l731, l733, l106, l737, l689, l373, l783, l375, l16, l786, l752, l755, l788, l303, l515, l139, l409, l548, l478, l507, l479, l573, l461, l39, l333, l406, l127, l47, l503, l430, l393, l466, l3, l155, l229, l7, l9, l565, l64, l253, l66, l144, l424, l480]_1|) (not |v_[l212]_1|) (not |v_[l612, l246, l606]_1|) (not |v_[l53, l40, l158]_1|) (not |v_[l513]_1|) (not |v_[l172, l759, l493, l627, l123, l384, l580, l275, l518, l414, l583, l674, l471, l181, l88]_1|) (not |v_[l173, l138, l756, l641, l401, l31, l235, l610, l525, l171, l35, l116, l502, l125, l332, l601, l715, l261, l552, l671, l467, l748, l51, l632, l797, l153, l101, l680, l395, l704, l322, l399, l735, l437, l623, l532, l723, l750, l82, l134, l182, l378]_1|) (not |v_[l367, l152]_1|) (not |v_[l211, l443, l589]_1|) (not |v_[l274]_1|) (not |v_[l185, l360, l629, l174, l236, l734, l617, l549, l380, l647, l710, l351, l541, l75, l206, l197, l427, l80, l198, l315, l5]_1|) (not |v_[l201, l188, l78, l92, l604, l387, l426, l366, l119, l540, l782, l692]_1|) (not |v_[l717, l524, l247, l556, l299, l176, l566, l237, l727, l161, l99, l535, l607, l646, l277, l577, l708, l344, l150, l668, l54, l690]_1|) |v_[l361, l216, l339]_1| (not |v_[l296, l234, l359, l285, l444, l239, l38, l371, l698, l711, l793, l207, l100, l745, l263, l794, l336, l676, l474, l268, l545]_1|) (not |v_[l501, l719, l302, l319, l402, l527, l70, l126, l497, l562]_1|) (not |v_[l257, l725, l435, l348, l111, l598, l773, l645, l570, l657, l205, l204]_1|) |v_[l325]_1| |v_[l321]_1| (not |v_[l159]_1|) (not |v_[l732, l771, l324, l114, l390, l533, l419, l790, l410, l792, l462, l77, l603, l243, l104, l636]_1|) (not (= |ULTIMATE.start_platform_device_alloc_#res#1.base| 0)) (not |v_[l326]_1|) (not |v_[l306, l649, l396, l107, l567, l448]_1|) (not |v_[l765, l525, l171, l611, l116, l616, l97, l550, l581, l608, l715, l261, l552, l632, l797, l101, l585, l704, l735, l623, l291, l723, l130, l544, l750, l208, l416, l136, l378, l138, l641, l401, l31, l235, l477, l34, l460, l572, l404, l502, l125, l579, l467, l748, l747, l153, l673, l322, l677, l399, l437, l439, l140, l420, l498, l532, l327, l146, l482, l762, l484, l182]_1|) (not (= ~pdev~0.base 0)) (not |v_[l422, l542, l678, l260, l265, l729, l365, l131]_1|) (not |v_[l41]_1|) (not |v_[l517, l166, l91, l135]_1|)) transition Formula: |v_v_[l732, l361, l771, l324, l114, l390, l533, l419, l790, l410, l792, l462, l77, l603, l243, l104, l636]_1_2| InVars {} OutVars{v_[l732, l361, l771, l324, l114, l390, l533, l419, l790, l410, l792, l462, l77, l603, l243, l104, l636]_1=|v_v_[l732, l361, l771, l324, l114, l390, l533, l419, l790, l410, l792, l462, l77, l603, l243, l104, l636]_1_2|, ULTIMATE.start_pc8736x_init_shadow_#t~pre1145#1=|v_ULTIMATE.start_pc8736x_init_shadow_#t~pre1145#1_1|} AuxVars[] AssignedVars[v_[l732, l361, l771, l324, l114, l390, l533, l419, l790, l410, l792, l462, l77, l603, l243, l104, l636]_1, ULTIMATE.start_pc8736x_init_shadow_#t~pre1145#1] postcondition false │ │ │ caught: java.lang.AssertionError: Owicki-Gries annotation is invalid │ │ │  at de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.GraphEmpireOwickiGries.checkOwickiGriesValidity(GraphEmpireOwickiGries.java:210) │ │ │  at de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.GraphEmpireOwickiGries.getOrComputeProof(GraphEmpireOwickiGries.java:159) │ │ │  at de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.GraphEmpireOwickiGries.getOrComputeProof(GraphEmpireOwickiGries.java:1) │ │ │  at de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OGProofProducerTest.runTest(OGProofProducerTest.java:66) │ │ │  at de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OwickiGriesTestSuite.runTestInternal(OwickiGriesTestSuite.java:293) │ │ │  at de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.OwickiGriesTestSuite$OwickiGriesTestCase.run(OwickiGriesTestSuite.java:547) │ │ │  at java.base/jdk.internal.reflect.DirectMethodHandleAccessor.invoke(DirectMethodHandleAccessor.java:103) │ │ │  at java.base/java.lang.reflect.Method.invoke(Method.java:580) │ │ │  at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:59) │ │ │  at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12) │ │ │  at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:56) │ │ │  at de.uni_freiburg.informatik.ultimate.test.junitextension.testfactory.FrameworkFactoryTest.invokeExplosively(FrameworkFactoryTest.java:72) │ │ │  at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17) │ │ │  at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:26) │ │ │  at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306) │ │ │  at de.uni_freiburg.informatik.ultimate.test.junitextension.testfactory.FactoryTestRunner.myRunLeaf(FactoryTestRunner.java:213) │ │ │  at de.uni_freiburg.informatik.ultimate.test.junitextension.testfactory.FactoryTestRunner.runChild(FactoryTestRunner.java:205) │ │ │  at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:63) │ │ │  at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331) │ │ │  at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79) │ │ │  at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329) │ │ │  at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66) │ │ │  at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293) │ │ │  at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306) │ │ │  at org.junit.runners.ParentRunner.run(ParentRunner.java:413) │ │ │  at org.junit.runner.JUnitCore.run(JUnitCore.java:137) │ │ │  at org.junit.runner.JUnitCore.run(JUnitCore.java:115) │ │ │  at org.junit.vintage.engine.execution.RunnerExecutor.execute(RunnerExecutor.java:42) │ │ │  at org.junit.vintage.engine.VintageTestEngine.executeAllChildren(VintageTestEngine.java:80) │ │ │  at org.junit.vintage.engine.VintageTestEngine.execute(VintageTestEngine.java:72) │ │ │  at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147) │ │ │  at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127) │ │ │  at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90) │ │ │  at org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55) │ │ │  at org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102) │ │ │  at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54) │ │ │  at org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114) │ │ │  at org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86) │ │ │  at org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86) │ │ │  at org.junit.platform.launcher.core.SessionPerRequestLauncher.execute(SessionPerRequestLauncher.java:53) │ │ │  at org.junit.platform.console.tasks.ConsoleTestExecutor.executeTests(ConsoleTestExecutor.java:66) │ │ │  at org.junit.platform.console.tasks.ConsoleTestExecutor.lambda$execute$0(ConsoleTestExecutor.java:58) │ │ │  at org.junit.platform.console.tasks.CustomContextClassLoaderExecutor.replaceThreadContextClassLoaderAndInvoke(CustomContextClassLoaderExecutor.java:41) │ │ │  at org.junit.platform.console.tasks.CustomContextClassLoaderExecutor.invoke(CustomContextClassLoaderExecutor.java:31) │ │ │  at org.junit.platform.console.tasks.ConsoleTestExecutor.execute(ConsoleTestExecutor.java:58) │ │ │  at org.junit.platform.console.ConsoleLauncher.executeTests(ConsoleLauncher.java:120) │ │ │  at org.junit.platform.console.ConsoleLauncher.execute(ConsoleLauncher.java:82) │ │ │  at org.junit.platform.console.ConsoleLauncher.execute(ConsoleLauncher.java:55) │ │ │  at org.junit.platform.console.ConsoleLauncher.execute(ConsoleLauncher.java:48) │ │ │  at org.junit.platform.console.ConsoleLauncher.main(ConsoleLauncher.java:42) │ │ │ duration: 149093 ms │ │ │ status: ✘ FAILED │ └─ GraphEmpireOG finished after 149097 ms. └─ JUnit Vintage finished after 149103 ms. ├─ JUnit Platform Suite └─ JUnit Platform Suite finished after 0 ms. Test plan execution finished. Number of all tests: 1  Test run finished after 149137 ms [ 4 containers found ] [ 0 containers skipped ] [ 4 containers started ] [ 0 containers aborted ] [ 4 containers successful ] [ 0 containers failed ] [ 1 tests found ] [ 0 tests skipped ] [ 1 tests started ] [ 0 tests aborted ] [ 0 tests successful ] [ 1 tests failed ]