Test Result

0 failures (±0)
4,579 tests (+2)
Took 22 min.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
test/Driver.hs.Test1.1 sec001515
test/Driver.hs.Test.Data0.43 sec002020
test/Driver.hs.Test.Data.Graph.TopologicalSort1 ms001010
test/Driver.hs.Test.Debug11 ms006262
test/Driver.hs.Test.Kore0.15 sec0055
test/Driver.hs.Test.Kore.AST.Common2 ms0088
test/Driver.hs.Test.Kore.ASTVerifier.DefinitionVerifier.Imports.imports2 ms001515
test/Driver.hs.Test.Kore.ASTVerifier.DefinitionVerifier.Imports.imports.Name visibility though module imports0.16 sec00189189
test/Driver.hs.Test.Kore.ASTVerifier.DefinitionVerifier.PatternVerifier40 ms0033
test/Driver.hs.Test.Kore.ASTVerifier.DefinitionVerifier.PatternVerifier.patternVerifier0.32 sec00550550
test/Driver.hs.Test.Kore.ASTVerifier.DefinitionVerifier.PatternVerifier.patternVerifier.Domain value - BOOL37 ms007575
test/Driver.hs.Test.Kore.ASTVerifier.DefinitionVerifier.PatternVerifier.patternVerifier.Domain value - INT0.12 sec00100100
test/Driver.hs.Test.Kore.ASTVerifier.DefinitionVerifier.SentenceVerifier14 ms0022
test/Driver.hs.Test.Kore.ASTVerifier.DefinitionVerifier.SortUsage22 ms0055
test/Driver.hs.Test.Kore.ASTVerifier.DefinitionVerifier.SortUsage.sortUsage0 ms0077
test/Driver.hs.Test.Kore.ASTVerifier.DefinitionVerifier.SortUsage.sortUsage.Referencing parametrized sort1 ms001414
test/Driver.hs.Test.Kore.ASTVerifier.DefinitionVerifier.SortUsage.sortUsage.Referencing simple sort27 ms002626
test/Driver.hs.Test.Kore.ASTVerifier.DefinitionVerifier.SortUsage.sortUsage.Referencing sort variable70 ms001414
test/Driver.hs.Test.Kore.ASTVerifier.DefinitionVerifier.UniqueNames0 ms002323
test/Driver.hs.Test.Kore.ASTVerifier.DefinitionVerifier.UniqueSortVariables0 ms003838
test/Driver.hs.Test.Kore.Attribute4 ms00103103
test/Driver.hs.Test.Kore.Attribute.Axiom0 ms002525
test/Driver.hs.Test.Kore.Attribute.HeatCool0 ms0022
test/Driver.hs.Test.Kore.Attribute.Pattern.ConstructorLike0 ms001717
test/Driver.hs.Test.Kore.Attribute.Pattern.Defined.instance Synthetic69 ms006060
test/Driver.hs.Test.Kore.Attribute.Pattern.Defined.instance Synthetic.ApplySymbolF0 ms0066
test/Driver.hs.Test.Kore.Attribute.Pattern.FreeVariables0 ms004848
test/Driver.hs.Test.Kore.Attribute.Pattern.Function.instance Synthetic0 ms004949
test/Driver.hs.Test.Kore.Attribute.Pattern.Function.instance Synthetic.ApplySymbolF0 ms0066
test/Driver.hs.Test.Kore.Attribute.Pattern.Functional.instance Synthetic63 ms006060
test/Driver.hs.Test.Kore.Attribute.Pattern.Functional.instance Synthetic.ApplySymbolF0 ms0066
test/Driver.hs.Test.Kore.Attribute.Pattern.Sort.instance Synthetic0 ms004444
test/Driver.hs.Test.Kore.Attribute.Smtlib0 ms009696
test/Driver.hs.Test.Kore.Attribute.Sort0 ms001212
test/Driver.hs.Test.Kore.Attribute.Sort.ConstructorsBuilder0 ms0055
test/Driver.hs.Test.Kore.Attribute.Symbol0 ms003939
test/Driver.hs.Test.Kore.Attribute.Symbol.Klabel0 ms0066
test/Driver.hs.Test.Kore.Builtin19 min00174+2174+2
test/Driver.hs.Test.Kore.Builtin.AssocComm0.53 sec0022
test/Driver.hs.Test.Kore.Builtin.AssocComm.CeilSimplifier88 ms001818
test/Driver.hs.Test.Kore.Builtin.Bool2 ms0022
test/Driver.hs.Test.Kore.Builtin.Bool.termAndEquals2 ms0044
test/Driver.hs.Test.Kore.Builtin.Encoding0 ms0055
test/Driver.hs.Test.Kore.Builtin.Endianness56 ms001010
test/Driver.hs.Test.Kore.Builtin.Inj2 ms0022
test/Driver.hs.Test.Kore.Builtin.Int60 ms0055
test/Driver.hs.Test.Kore.Builtin.InternalBytes24 sec004747
test/Driver.hs.Test.Kore.Builtin.InternalBytes.bytes2int30 ms002424
test/Driver.hs.Test.Kore.Builtin.KEqual0.1 sec0088
test/Driver.hs.Test.Kore.Builtin.Krypto20 ms001212
test/Driver.hs.Test.Kore.Builtin.List14 sec0066
test/Driver.hs.Test.Kore.Builtin.Map1 min 7 sec002020
test/Driver.hs.Test.Kore.Builtin.Set0.19 sec0066
test/Driver.hs.Test.Kore.Builtin.Signedness0.23 sec001010
test/Driver.hs.Test.Kore.Builtin.String2.3 sec005050
test/Driver.hs.Test.Kore.Equation.Application1.8 sec003535
test/Driver.hs.Test.Kore.Equation.Sentence12 ms0033
test/Driver.hs.Test.Kore.Error0 ms0022
test/Driver.hs.Test.Kore.Exec0.35 sec001616
test/Driver.hs.Test.Kore.IndexedModule1 ms0022
test/Driver.hs.Test.Kore.IndexedModule.Error0 ms0022
test/Driver.hs.Test.Kore.IndexedModule.OverloadGraph0 ms001010
test/Driver.hs.Test.Kore.IndexedModule.Resolvers1 ms001212
test/Driver.hs.Test.Kore.IndexedModule.SortGraph0 ms0066
test/Driver.hs.Test.Kore.Internal2.1 sec0044
test/Driver.hs.Test.Kore.Internal.ApplicationSorts0 ms0099
test/Driver.hs.Test.Kore.Internal.MultiAnd0 ms001919
test/Driver.hs.Test.Kore.Internal.Pattern3 ms0066
test/Driver.hs.Test.Kore.Internal.Predicate8 ms001919
test/Driver.hs.Test.Kore.Internal.Predicate.predicate5 ms0011
test/Driver.hs.Test.Kore.Internal.Predicate.predicate.makePredicate1 ms0044
test/Driver.hs.Test.Kore.Internal.Substitution.substitution1 ms001414
test/Driver.hs.Test.Kore.Internal.Substitution.substitution.Substitution0 ms002626
test/Driver.hs.Test.Kore.Internal.TermLike6 ms001111
test/Driver.hs.Test.Kore.Internal.TermLike.externalizeFreshVariables0 ms001111
test/Driver.hs.Test.Kore.Internal.TermLike.renaming0 ms0088
test/Driver.hs.Test.Kore.Internal.TermLike.substitute1 ms0066
test/Driver.hs.Test.Kore.Log26 ms0066
test/Driver.hs.Test.Kore.Parser.CharDict0 ms001212
test/Driver.hs.Test.Kore.Parser.Lexeme.koreLexeme2 ms007171
test/Driver.hs.Test.Kore.Parser.Lexeme.koreLexeme.colonParser0 ms0077
test/Driver.hs.Test.Kore.Parser.Lexeme.koreLexeme.commaParser0 ms0077
test/Driver.hs.Test.Kore.Parser.Lexeme.koreLexeme.curlyPairParser0 ms0099
test/Driver.hs.Test.Kore.Parser.Lexeme.koreLexeme.idParser0 ms002020
test/Driver.hs.Test.Kore.Parser.Lexeme.koreLexeme.inCurlyBracesParser0 ms0077
test/Driver.hs.Test.Kore.Parser.Lexeme.koreLexeme.inParenthesesParser0 ms0077
test/Driver.hs.Test.Kore.Parser.Lexeme.koreLexeme.inSquareBracketsParser0 ms0077
test/Driver.hs.Test.Kore.Parser.Lexeme.koreLexeme.keywordBasedParsers0 ms001212
test/Driver.hs.Test.Kore.Parser.Lexeme.koreLexeme.mlLexemeParser0 ms0066
test/Driver.hs.Test.Kore.Parser.Lexeme.koreLexeme.moduleNameIdParser0 ms0099
test/Driver.hs.Test.Kore.Parser.Lexeme.koreLexeme.parenPairParser0 ms0099
test/Driver.hs.Test.Kore.Parser.Lexeme.koreLexeme.skipWhitespace0 ms002525
test/Driver.hs.Test.Kore.Parser.Lexeme.koreLexeme.stringLiteralParser0 ms0066
test/Driver.hs.Test.Kore.Parser.Parser.koreParser5 ms008080
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.andPatternParser0 ms0066
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.applicationPatternParser0 ms0066
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.attributesParser0 ms0044
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.bottomPatternParser0 ms0055
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.ceilPatternParser0 ms0055
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.definitionParser0 ms0033
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.domainValuePatternParser0 ms0044
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.equalsPatternParser0 ms0066
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.existsPatternParser0 ms001313
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.floorPatternParser0 ms0055
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.forallPatternParser0 ms001212
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.iffPatternParser0 ms0066
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.impliesPatternParser0 ms0066
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.memPatternParser0 ms001212
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.moduleParser0 ms0055
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.muPatternParser0 ms001414
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.nextPatternParser0 ms0077
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.notPatternParser0 ms0077
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.nuPatternParser0 ms001414
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.objectAliasParser0 ms0066
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.objectInCurlyBracesSortVariableListParser0 ms0033
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.objectSortListParser0 ms0011
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.objectSortParser0 ms0022
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.objectSortVariableParser0 ms0022
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.objectSymbolParser0 ms0066
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.orPatternParser0 ms0066
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.rewritesPatternParser0 ms0066
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.sentenceAliasParser0 ms001010
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.sentenceAxiomParser0 ms0055
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.sentenceClaimParser0 ms0055
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.sentenceHookedSortParser0 ms0077
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.sentenceHookedSymbolParser0 ms0099
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.sentenceImportParser0 ms0044
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.sentenceSortParser0 ms0077
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.sentenceSymbolParser0 ms0099
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.setVariableParser0 ms0055
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.stringLiteralPatternParser0 ms0022
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.topPatternParser0 ms0055
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.variableParser0 ms0055
test/Driver.hs.Test.Kore.Parser.Parser.koreParser.variablePatternParser0 ms0066
test/Driver.hs.Test.Kore.Parser.Regression32 ms009898
test/Driver.hs.Test.Kore.Repl.Graph.graph0 ms002020
test/Driver.hs.Test.Kore.Repl.Interpreter1.7 sec002727
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser0 ms00134134
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.append0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.axiom0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.children0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.clear0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.config0 ms0033
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.graph0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.load file0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.pipe0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.prec-branch0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.prove0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.redirect0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.rule0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.save-session0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.select0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.step0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.stepf0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.try0 ms0011
test/Driver.hs.Test.Kore.Repl.Parser.replParser.REPL.Parser.tryF0 ms0011
test/Driver.hs.Test.Kore.Step0.63 sec002020
test/Driver.hs.Test.Kore.Step.Axiom.Evaluate0.91 sec001515
test/Driver.hs.Test.Kore.Step.Axiom.EvaluationStrategy0.87 sec001515
test/Driver.hs.Test.Kore.Step.Axiom.Identifier0 ms0099
test/Driver.hs.Test.Kore.Step.Axiom.Identifier.matchAxiomIdentifier.List0 ms0066
test/Driver.hs.Test.Kore.Step.Axiom.Identifier.matchAxiomIdentifier.Map0 ms0066
test/Driver.hs.Test.Kore.Step.Axiom.Identifier.matchAxiomIdentifier.Set0 ms0066
test/Driver.hs.Test.Kore.Step.Axiom.Matcher4.6 sec00130130
test/Driver.hs.Test.Kore.Step.Axiom.Matcher.matcherEqualHeads0.38 sec0099
test/Driver.hs.Test.Kore.Step.Axiom.Matcher.matcherOverloading0.15 sec0055
test/Driver.hs.Test.Kore.Step.Axiom.Matcher.matcherVariableFunction0.1 sec0044
test/Driver.hs.Test.Kore.Step.Axiom.Registry75 ms0099
test/Driver.hs.Test.Kore.Step.EquationalStep0.94 sec002323
test/Driver.hs.Test.Kore.Step.Function.Evaluator53 ms0022
test/Driver.hs.Test.Kore.Step.Function.Integration3.4 sec007676
test/Driver.hs.Test.Kore.Step.Function.Memo0 ms0022
test/Driver.hs.Test.Kore.Step.Remainder1 ms0011
test/Driver.hs.Test.Kore.Step.RewriteStep0.82 sec004545
test/Driver.hs.Test.Kore.Step.Rule16 ms0055
test/Driver.hs.Test.Kore.Step.Rule.Combine69 ms001616
test/Driver.hs.Test.Kore.Step.Rule.Expand27 ms0088
test/Driver.hs.Test.Kore.Step.Rule.Simplify60 ms001313
test/Driver.hs.Test.Kore.Step.Rule.axiomPatterns8 ms0055
test/Driver.hs.Test.Kore.Step.SMT2.2 sec0011
test/Driver.hs.Test.Kore.Step.SMT.Evaluator0.61 sec001818
test/Driver.hs.Test.Kore.Step.SMT.Representation.All.symbolParsing0 ms0011
test/Driver.hs.Test.Kore.Step.SMT.Representation.Sorts.sortParsing2 ms001313
test/Driver.hs.Test.Kore.Step.SMT.Representation.Symbols.symbolParsing0 ms001111
test/Driver.hs.Test.Kore.Step.SMT.Sorts.sortDeclaration1.5 sec003131
test/Driver.hs.Test.Kore.Step.SMT.Symbols.sortDeclaration0.45 sec001111
test/Driver.hs.Test.Kore.Step.SMT.Translate2 ms001919
test/Driver.hs.Test.Kore.Step.Simplification2.2 sec0011
test/Driver.hs.Test.Kore.Step.Simplification.And0.53 sec001111
test/Driver.hs.Test.Kore.Step.Simplification.And.andSimplification0.36 sec001111
test/Driver.hs.Test.Kore.Step.Simplification.AndTerms0.3 sec0088
test/Driver.hs.Test.Kore.Step.Simplification.AndTerms.andTermsSimplification2.5 sec006565
test/Driver.hs.Test.Kore.Step.Simplification.AndTerms.andTermsSimplification.alias expansion96 ms0022
test/Driver.hs.Test.Kore.Step.Simplification.Application94 ms0044
test/Driver.hs.Test.Kore.Step.Simplification.Application.applicationSimplification86 ms0022
test/Driver.hs.Test.Kore.Step.Simplification.Bottom0 ms0011
test/Driver.hs.Test.Kore.Step.Simplification.Builtin.simplify0 ms0099
test/Driver.hs.Test.Kore.Step.Simplification.Ceil0.41 sec001616
test/Driver.hs.Test.Kore.Step.Simplification.Condition0.22 sec0077
test/Driver.hs.Test.Kore.Step.Simplification.DomainValue0 ms0011
test/Driver.hs.Test.Kore.Step.Simplification.Equals1.4 sec003333
test/Driver.hs.Test.Kore.Step.Simplification.Equals.equalsSimplification TermLike0.44 sec001010
test/Driver.hs.Test.Kore.Step.Simplification.Exists0.49 sec001717
test/Driver.hs.Test.Kore.Step.Simplification.Exists.makeEvaluate60 ms0022
test/Driver.hs.Test.Kore.Step.Simplification.Floor3 ms0055
test/Driver.hs.Test.Kore.Step.Simplification.Forall17 ms001010
test/Driver.hs.Test.Kore.Step.Simplification.Iff6 ms0022
test/Driver.hs.Test.Kore.Step.Simplification.Iff.makeEvaluate0 ms0088
test/Driver.hs.Test.Kore.Step.Simplification.Iff.simplify0.18 sec0088
test/Driver.hs.Test.Kore.Step.Simplification.Implies0.18 sec0088
test/Driver.hs.Test.Kore.Step.Simplification.InjSimplifier0 ms0088
test/Driver.hs.Test.Kore.Step.Simplification.Integration1.4 sec003636
test/Driver.hs.Test.Kore.Step.Simplification.Next1 ms0022
test/Driver.hs.Test.Kore.Step.Simplification.Not0.21 sec001111
test/Driver.hs.Test.Kore.Step.Simplification.Or5 ms002222
test/Driver.hs.Test.Kore.Step.Simplification.Or.Any bottom is removed from the result0 ms0022
test/Driver.hs.Test.Kore.Step.Simplification.OrPattern0.11 sec0044
test/Driver.hs.Test.Kore.Step.Simplification.Overloading.unifyOverloading0.49 sec001818
test/Driver.hs.Test.Kore.Step.Simplification.Pattern0.21 sec001010
test/Driver.hs.Test.Kore.Step.Simplification.Rule65 ms0033
test/Driver.hs.Test.Kore.Step.Simplification.StringLiteral0 ms0011
test/Driver.hs.Test.Kore.Step.Simplification.SubstitutionSimplifier.SubstitutionSimplifier0.26 sec001212
test/Driver.hs.Test.Kore.Step.Simplification.SubstitutionSimplifier.SubstitutionSimplifier.element variable non-simplifiable cycle0.13 sec0066
test/Driver.hs.Test.Kore.Step.Simplification.SubstitutionSimplifier.SubstitutionSimplifier.element variable simplifiable cycle0.66 sec001818
test/Driver.hs.Test.Kore.Step.Simplification.SubstitutionSimplifier.SubstitutionSimplifier.element-variable-only cycle0.14 sec0066
test/Driver.hs.Test.Kore.Step.Simplification.SubstitutionSimplifier.SubstitutionSimplifier.set variable non-simplifiable cycle0.2 sec0066
test/Driver.hs.Test.Kore.Step.Simplification.SubstitutionSimplifier.SubstitutionSimplifier.set variable simplifiable cycle0.34 sec001616
test/Driver.hs.Test.Kore.Step.Simplification.SubstitutionSimplifier.SubstitutionSimplifier.set-variable-only cycle0.15 sec0044
test/Driver.hs.Test.Kore.Step.Simplification.TermLike37 ms0011
test/Driver.hs.Test.Kore.Step.Simplification.Top0 ms0011
test/Driver.hs.Test.Kore.Step.Strategy0 ms0044
test/Driver.hs.Test.Kore.Strategies.AllPath.AllPath8 ms003636
test/Driver.hs.Test.Kore.Strategies.AllPath.Verification1 sec001515
test/Driver.hs.Test.Kore.Strategies.OnePath.Step1.4 sec001010
test/Driver.hs.Test.Kore.Strategies.OnePath.Verification1.2 sec002222
test/Driver.hs.Test.Kore.Strategies.Reachability.Verification3.9 sec005555
test/Driver.hs.Test.Kore.Syntax.Id0 ms0022
test/Driver.hs.Test.Kore.TopBottom.Predicate0 ms002828
test/Driver.hs.Test.Kore.TopBottom.TermLike0 ms0088
test/Driver.hs.Test.Kore.Unification0 ms0011
test/Driver.hs.Test.Kore.Unification.SubstitutionNormalization2 ms0055
test/Driver.hs.Test.Kore.Unification.SubstitutionNormalization.normalize30 ms003030
test/Driver.hs.Test.Kore.Unification.Unifier83 ms003030
test/Driver.hs.Test.Kore.Unification.Unifier.unification27 ms0099
test/Driver.hs.Test.Kore.Unification.UnifierT0.8 sec001616
test/Driver.hs.Test.Kore.Unparser1 sec002929
test/Driver.hs.Test.Kore.Variables.Fresh0.17 sec001717
test/Driver.hs.Test.Kore.Variables.Fresh.refreshVariable0 ms003737
test/Driver.hs.Test.Kore.Variables.Target72 ms0033
test/Driver.hs.Test.ListT0 ms0033
test/Driver.hs.Test.Pretty0 ms0011
test/Driver.hs.Test.SMT.AST0 ms0088
test/Driver.hs.Test.Stats30 ms0011