Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [10] heap1.props | testTranslation(TestData)[10] | 0.001s | passed |
| [11] float.sqrt2.props | testTranslation(TestData)[11] | 0.001s | passed |
| [12] float.sinDouble.props | testTranslation(TestData)[12] | 0s | passed |
| [13] cast3.props | testTranslation(TestData)[13] | 0s | passed |
| [14] float.sqrt1.props | testTranslation(TestData)[14] | 0.001s | passed |
| [15] int1.props | testTranslation(TestData)[15] | 0.001s | passed |
| [16] quant2.props | testTranslation(TestData)[16] | 0.001s | passed |
| [17] float.eq.props | testTranslation(TestData)[17] | 0s | passed |
| [18] bool3.props | testTranslation(TestData)[18] | 0s | passed |
| [19] types1.props | testTranslation(TestData)[19] | 0.001s | passed |
| [1] ite1.props | testTranslation(TestData)[1] | 0.001s | passed |
| [20] cast1.props | testTranslation(TestData)[20] | 0.001s | passed |
| [21] quant1.props | testTranslation(TestData)[21] | 0s | passed |
| [22] cast2.props | testTranslation(TestData)[22] | 0.001s | passed |
| [23] ex2.props | testTranslation(TestData)[23] | 0.001s | passed |
| [24] types2.props | testTranslation(TestData)[24] | 0s | passed |
| [2] bool1.props | testTranslation(TestData)[2] | 0s | passed |
| [3] float2.props | testTranslation(TestData)[3] | 0s | passed |
| [4] bool2.props | testTranslation(TestData)[4] | 0.001s | passed |
| [5] ex1.props | testTranslation(TestData)[5] | 0s | passed |
| [6] upd2.props | testTranslation(TestData)[6] | 0s | passed |
| [7] uninterpreted1.props | testTranslation(TestData)[7] | 0.001s | passed |
| [8] upd1.props | testTranslation(TestData)[8] | 0.001s | passed |
| [9] float1.props | testTranslation(TestData)[9] | 0s | passed |
| [10] heap1.props | testZ3(TestData)[10] | - | ignored |
| [11] float.sqrt2.props | testZ3(TestData)[11] | - | ignored |
| [12] float.sinDouble.props | testZ3(TestData)[12] | - | ignored |
| [13] cast3.props | testZ3(TestData)[13] | - | ignored |
| [14] float.sqrt1.props | testZ3(TestData)[14] | - | ignored |
| [15] int1.props | testZ3(TestData)[15] | - | ignored |
| [16] quant2.props | testZ3(TestData)[16] | - | ignored |
| [17] float.eq.props | testZ3(TestData)[17] | - | ignored |
| [18] bool3.props | testZ3(TestData)[18] | - | ignored |
| [19] types1.props | testZ3(TestData)[19] | - | ignored |
| [1] ite1.props | testZ3(TestData)[1] | - | ignored |
| [20] cast1.props | testZ3(TestData)[20] | - | ignored |
| [21] quant1.props | testZ3(TestData)[21] | - | ignored |
| [22] cast2.props | testZ3(TestData)[22] | - | ignored |
| [23] ex2.props | testZ3(TestData)[23] | - | ignored |
| [24] types2.props | testZ3(TestData)[24] | - | ignored |
| [2] bool1.props | testZ3(TestData)[2] | - | ignored |
| [3] float2.props | testZ3(TestData)[3] | - | ignored |
| [4] bool2.props | testZ3(TestData)[4] | - | ignored |
| [5] ex1.props | testZ3(TestData)[5] | - | ignored |
| [6] upd2.props | testZ3(TestData)[6] | - | ignored |
| [7] uninterpreted1.props | testZ3(TestData)[7] | - | ignored |
| [8] upd1.props | testZ3(TestData)[8] | - | ignored |
| [9] float1.props | testZ3(TestData)[9] | - | ignored |
Standard output
531659 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_ite1.props26988054466428686.key 531661 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/standardRules.key 531662 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key 531663 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key 531663 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key 531664 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key 531665 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key 531665 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key 531665 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key 531665 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key 531666 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key 531666 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key 531666 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key 531669 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key 531669 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key 531669 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key 531674 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/propRule.key 531677 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/firstOrderRules.key 531682 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ifThenElseRules.key 531688 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/formulaNormalisationRules.key 531707 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/updateRules.key 531712 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key 531716 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRules.key 531720 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesUncheckedSemantics.key 531723 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesCheckedSemantics.key 531724 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesJavaSemantics.key 531728 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerSimplificationRules.key 531779 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 531780 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 531780 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 531781 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 531791 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intDiv.key 531802 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bsum.key 531839 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bprod.key 531855 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/binaryAxioms.key 531857 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/binaryLemmas.key 531859 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intPow.key 531866 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesCommon.key 531874 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRules.key 531875 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesVerifyNormal.key 531875 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key 531881 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/genericRules.key 531888 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/booleanRules.key 531890 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/epsilon.key 531892 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSetsRules.key 531916 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heapRules.key 531951 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permissionRules.key 531961 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reachRules.key 531982 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqCoreRules.key 531984 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqRules.key 532007 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqPerm.key 532024 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqPerm2.key 532028 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key 532072 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key 532242 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopRules.key 532245 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/activeUse.key 532273 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/instanceAllocation.key 532282 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/java5.key 532283 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerAssignment2UpdateRules.key 532301 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatAssignment2UpdateRules.key 532314 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bigint.key 532321 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 532323 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/adtProgramDecompositionRules.key 532335 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/precRules.key 532337 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListRules.key 532347 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExTheory.key 532348 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExHeader.key 532348 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExAxioms.key 532351 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExLemmaProven.key 532355 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqEq.key 532361 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/infFlow.key 532364 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/mapSize.key 532367 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wd.key 532367 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdHeader.key 532367 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdGeneralRules.key 532370 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdNumericalRules.key 532384 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdLocSetRules.key 532388 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdHeapRules.key 532391 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdReachRules.key 532391 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdSeqRules.key 532394 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdStringRules.key 532395 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdRegExRules.key 532396 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key 532406 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopInvariantRules.key 532408 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/forLoopRules.key 532409 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/execRules.key 532458 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopScopeRules.key 533392 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 535801 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 535801 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_ite1.props26988054466428686.key 535808 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_bool1.props10165019011387845077.key 536735 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 538762 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 538763 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_bool1.props10165019011387845077.key 538765 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float2.props16779972839554273407.key 539697 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 541681 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 541681 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float2.props16779972839554273407.key 541684 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 541685 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_bool2.props6666707998890401768.key 542573 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 544564 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 544564 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_bool2.props6666707998890401768.key 544567 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 544568 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_ex1.props15746111100094200922.key 545565 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 547637 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 547637 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_ex1.props15746111100094200922.key 547640 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_upd2.props2335542928765723232.key 548533 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 550508 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 550508 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_upd2.props2335542928765723232.key 550510 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_uninterpreted1.props12550725444591224899.key 551459 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 553477 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 553477 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_uninterpreted1.props12550725444591224899.key 553480 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_upd1.props1053837750505105276.key 554448 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 556464 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 556464 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_upd1.props1053837750505105276.key 556467 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float1.props12562752972331842837.key 557356 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 559434 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 559434 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float1.props12562752972331842837.key 559436 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_heap1.props6356322370377820625.key 560440 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 562471 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 562472 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_heap1.props6356322370377820625.key 562476 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.sqrt2.props12467699758333508250.key 563353 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 565398 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 565398 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.sqrt2.props12467699758333508250.key 565401 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.sinDouble.props2003017503580598669.key 566396 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 568436 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 568436 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.sinDouble.props2003017503580598669.key 568439 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_cast3.props14764589711371743694.key 569337 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 571365 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 571365 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_cast3.props14764589711371743694.key 571367 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.sqrt1.props1307806495271900138.key 572367 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 574428 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 574428 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.sqrt1.props1307806495271900138.key 574430 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_int1.props14501972395238533560.key 575323 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 577406 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 577406 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_int1.props14501972395238533560.key 577410 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_quant2.props18388677727374466709.key 578448 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 580460 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 580460 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_quant2.props18388677727374466709.key 580462 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.eq.props17591016365122059500.key 581308 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 583485 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 583485 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.eq.props17591016365122059500.key 583487 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_bool3.props966768357453345376.key 584343 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 586308 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 586308 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_bool3.props966768357453345376.key 586310 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 586311 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_types1.props17793291755151646077.key 587241 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 589231 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 589231 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_types1.props17793291755151646077.key 589233 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_cast1.props17474270444975879072.key 590108 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 592069 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 592069 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_cast1.props17474270444975879072.key 592070 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 592072 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_quant1.props236619265136874342.key 593078 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 595061 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 595061 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_quant1.props236619265136874342.key 595063 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_cast2.props18148194725735489464.key 595905 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 598010 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 598010 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_cast2.props18148194725735489464.key 598013 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_ex2.props11911803460342241005.key 599003 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 601071 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 601071 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_ex2.props11911803460342241005.key 601073 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_types2.props3683388379723683590.key 602041 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 604076 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 604077 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_types2.props3683388379723683590.key 604094 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_ite1.props16253842693324047598.key 605019 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 607063 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 607064 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_ite1.props16253842693324047598.key 607065 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_bool1.props8368258678169574588.key 608035 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 610098 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 610099 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_bool1.props8368258678169574588.key 610101 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float2.props9579965341317086514.key 611068 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 613127 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.4ns 613127 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float2.props9579965341317086514.key 613128 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 613129 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_bool2.props12311512863238528249.key 613971 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 615973 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 615973 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_bool2.props12311512863238528249.key 615975 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 615975 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_ex1.props188139883577869034.key 616918 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 618920 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 48.9ns 618920 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_ex1.props188139883577869034.key 618922 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_upd2.props13919502931513407225.key 619922 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 621933 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.9ns 621933 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_upd2.props13919502931513407225.key 621935 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_uninterpreted1.props7017633444258801569.key 622824 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 624969 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 624969 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_uninterpreted1.props7017633444258801569.key 624971 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_upd1.props15444974622214087896.key 625881 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 627941 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 627941 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_upd1.props15444974622214087896.key 627943 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float1.props14071845889047572744.key 628933 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 630999 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 630999 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float1.props14071845889047572744.key 631001 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_heap1.props16479050397220885527.key 631964 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 634008 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 634009 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_heap1.props16479050397220885527.key 634012 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.sqrt2.props8132652704790665207.key 634899 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 637037 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 637037 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.sqrt2.props8132652704790665207.key 637039 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.sinDouble.props14820788007473668142.key 637912 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 639859 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 639860 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.sinDouble.props14820788007473668142.key 639862 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_cast3.props18374809893418966848.key 640822 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 642795 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 642795 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_cast3.props18374809893418966848.key 642797 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.sqrt1.props18197134573491424707.key 643790 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 645791 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 645792 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.sqrt1.props18197134573491424707.key 645794 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_int1.props14225201904248979557.key 646673 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 648748 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 648749 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_int1.props14225201904248979557.key 648751 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_quant2.props81012765802987326.key 649650 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 651704 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 651704 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_quant2.props81012765802987326.key 651706 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.eq.props16656830135832430519.key 652577 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 654565 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 654566 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_float.eq.props16656830135832430519.key 654568 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_bool3.props11910635287189807086.key 655525 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 657537 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 657537 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_bool3.props11910635287189807086.key 657539 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 657540 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_types1.props6795956491550428713.key 658531 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 660607 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 660607 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_types1.props6795956491550428713.key 660609 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_cast1.props1147174022161587357.key 661609 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 663600 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 663600 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_cast1.props1147174022161587357.key 663602 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 663602 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_quant1.props14109140573475559130.key 664537 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 666463 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 666463 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_quant1.props14109140573475559130.key 666465 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_cast2.props18098666272888624723.key 667405 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 669362 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 669362 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_cast2.props18098666272888624723.key 669364 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_ex2.props2692853660941246795.key 670370 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 672381 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 672381 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_ex2.props2692853660941246795.key 672383 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_types2.props8232677154870060068.key 673316 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 675309 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 675309 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/SMT_key_types2.props8232677154870060068.key 675311 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ite1.props saved in: /tmp/SMT_key_ite1.props10414508815712561505.smt2 675312 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool1.props saved in: /tmp/SMT_key_bool1.props4971110947382814005.smt2 675313 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float2.props saved in: /tmp/SMT_key_float2.props13576819808981809378.smt2 675314 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool2.props saved in: /tmp/SMT_key_bool2.props11446299228697380438.smt2 675314 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex1.props saved in: /tmp/SMT_key_ex1.props9913103483304262521.smt2 675315 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd2.props saved in: /tmp/SMT_key_upd2.props7172081202573870780.smt2 675316 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for uninterpreted1.props saved in: /tmp/SMT_key_uninterpreted1.props13682451129052070031.smt2 675317 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for upd1.props saved in: /tmp/SMT_key_upd1.props10328806018480712175.smt2 675317 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float1.props saved in: /tmp/SMT_key_float1.props14001613827519360086.smt2 675318 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for heap1.props saved in: /tmp/SMT_key_heap1.props9897258216280817861.smt2 675319 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt2.props saved in: /tmp/SMT_key_float.sqrt2.props11016339880920678227.smt2 675319 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sinDouble.props saved in: /tmp/SMT_key_float.sinDouble.props17509385092690188500.smt2 675320 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast3.props saved in: /tmp/SMT_key_cast3.props3986898246517544085.smt2 675321 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.sqrt1.props saved in: /tmp/SMT_key_float.sqrt1.props15941161090057400256.smt2 675322 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for int1.props saved in: /tmp/SMT_key_int1.props11561268562261634028.smt2 675323 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant2.props saved in: /tmp/SMT_key_quant2.props3746341132539886336.smt2 675323 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for float.eq.props saved in: /tmp/SMT_key_float.eq.props15179288797522240622.smt2 675324 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for bool3.props saved in: /tmp/SMT_key_bool3.props5857307719269039478.smt2 675325 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types1.props saved in: /tmp/SMT_key_types1.props7349261706655400367.smt2 675326 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast1.props saved in: /tmp/SMT_key_cast1.props7948793241730293192.smt2 675326 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for quant1.props saved in: /tmp/SMT_key_quant1.props15819917541856915919.smt2 675327 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for cast2.props saved in: /tmp/SMT_key_cast2.props13599441347073524842.smt2 675328 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for ex2.props saved in: /tmp/SMT_key_ex2.props6098684824550828405.smt2 675328 INFO Test worker d.u.i.k.s.n.MasterHandlerTest SMT2 for types2.props saved in: /tmp/SMT_key_types2.props12885077811877757059.smt2