ehildenb

requires "lemmas/ktoken-verification.k"

module MAX-SUCCESS-SPEC
  imports KTOKEN-VERIFICATION


  claim
  <kevm-specs>
    <kevm>
    <k> #runSymbTest => . </k>

ehildenb

Reading the input file TimeSpec {sec = 0, nsec = 108975}
Parsing the file TimeSpec {sec = 2, nsec = 136270871}
Verifying the definition TimeSpec {sec = 0, nsec = 547841377}
Reading the input file TimeSpec {sec = 0, nsec = 36132}
Parsing the file TimeSpec {sec = 0, nsec = 20262968}
Verifying the pattern TimeSpec {sec = 0, nsec = 3237448}
kore-exec: While applying axiom:
AxiomPattern {axiomPatternLeft = Fix (ApplicationPattern (Application {applicationSymbolOrAlias = SymbolOrAlias {symbolOrAliasConstructor = Id {getId = "Lbl'-LT-'generatedTop'-GT-'", idLocation = AstLocationFile (FileLocation {fileName = "/home/dev/src/evm-semantics/.build/haskell/driver-kompiled/definition.kore", line = 23600, column = 71})}, symbolOrAliasParams = []}, applicationChildren = [Fix (ApplicationPattern (Application {applicationSymbolOrAlias = SymbolOrAlias {symbolOrAliasConstructor = Id {getId = "Lbl'-LT-'k'-GT-'", idLocation = AstLocationFile (FileLocation {fileName = "/home/dev/src/evm-semantics/.build/haskell/driver-kompiled/de

ehildenb

Initial Install
===============

I'm typing this from Ubuntu 18.04 install on Huawei MateBook X Pro.
Some extra steps other than normal installation I had to take.

-  Did not need to do anything in Windows (no need to disable secure boot from Windows).

-  Make Ubuntu bootstick, with 18.04.