K-user mailing list

[Russell Wallace <russell.wallace AT gmail.com>]

I'm going through the procedure for building kframework/k on Windows, and everything has worked fine up to partway through the tests. What should I be doing here?

...

  syntax Foo@TEST ::= "z" [Location(#token("6",Int@INT-SYNTAX),#token("18",Int@INT-SYNTAX),#token("6",Int@INT-SYNTAX),#token("20",Int@INT-SYNTAX)) Source(#token("src\\test\\resources\\convertor-tests\

\syntaxWithPriorities.k",KString@KSTRING)) klabel(#token("z",KString@KSTRING))]

  syntax Foo@TEST ::= "y" [Location(#token("5",Int@INT-SYNTAX),#token("18",Int@INT-SYNTAX),#token("5",Int@INT-SYNTAX),#token("40",Int@INT-SYNTAX)) Source(#token("src\\test\\resources\\convertor-tests\

\syntaxWithPriorities.k",KString@KSTRING)) klabel(#token("y",KString@KSTRING)) someattribute(#token("",AttributeValue))]

  syntax Foo@TEST ::= "x" [Location(#token("4",Int@INT-SYNTAX),#token("18",Int@INT-SYNTAX),#token("4",Int@INT-SYNTAX),#token("20",Int@INT-SYNTAX)) Source(#token("src\\test\\resources\\convertor-tests\

\syntaxWithPriorities.k",KString@KSTRING)) klabel(#token("x",KString@KSTRING))]

  syntax Foo@TEST ::= "u" [Location(#token("8",Int@INT-SYNTAX),#token("18",Int@INT-SYNTAX),#token("8",Int@INT-SYNTAX),#token("29",Int@INT-SYNTAX)) Source(#token("src\\test\\resources\\convertor-tests\

\syntaxWithPriorities.k",KString@KSTRING)) klabel(#token("u",KString@KSTRING)) off(#token("",AttributeValue))]

  syntax Foo@TEST ::= "t" [Location(#token("7",Int@INT-SYNTAX),#token("18",Int@INT-SYNTAX),#token("7",Int@INT-SYNTAX),#token("36",Int@INT-SYNTAX)) Source(#token("src\\test\\resources\\convertor-tests\

\]syntaxWithPriorities...>

  TstKILtoKOREIT.syntaxWithRhs:31->BaseTest.outerOnlyTest:35->BaseTest.testConversion:80 expected:<...) Source(#token("src[/test/resources/convertor-tests/syntaxWithRhs.k",KString@KSTRING))]

  syntax Foo@TEST ::= "1" [Location(#token("4",Int@INT-SYNTAX),#token("18",Int@INT-SYNTAX),#token("4",Int@INT-SYNTAX),#token("20",Int@INT-SYNTAX)) Source(#token("src/test/resources/convertor-tests/syn

taxWithRhs.k",KString@KSTRING)) klabel(#token("1",KString@KSTRING))]

  syntax Bar@TEST ::= "2" [Location(#token("5",Int@INT-SYNTAX),#token("18",Int@INT-SYNTAX),#token("5",Int@INT-SYNTAX),#token("32",Int@INT-SYNTAX)) Source(#token("src/test/resources/convertor-tests/]sy

ntaxWithRhs.k",KSt...> but was:<...) Source(#token("src[\\test\\resources\\convertor-tests\\syntaxWithRhs.k",KString@KSTRING))]

  syntax Foo@TEST ::= "1" [Location(#token("4",Int@INT-SYNTAX),#token("18",Int@INT-SYNTAX),#token("4",Int@INT-SYNTAX),#token("20",Int@INT-SYNTAX)) Source(#token("src\\test\\resources\\convertor-tests\

\syntaxWithRhs.k",KString@KSTRING)) klabel(#token("1",KString@KSTRING))]

  syntax Bar@TEST ::= "2" [Location(#token("5",Int@INT-SYNTAX),#token("18",Int@INT-SYNTAX),#token("5",Int@INT-SYNTAX),#token("32",Int@INT-SYNTAX)) Source(#token("src\\test\\resources\\convertor-tests\

\]syntaxWithRhs.k",KSt...>

Tests run: 21, Failures: 8, Errors: 0, Skipped: 4

[WARNING] File encoding has not been set, using platform encoding Cp1252, i.e. build is platform dependent!

[INFO]

[INFO] --- maven-antrun-plugin:1.7:run (cleanup-ktest) @ k-distribution ---

[INFO] Executing tasks

main:

     [move] Moving 101 files to C:\kframework\k\k-distribution\target

     [move] Warning: Unable to delete file C:\kframework\k\k-distribution\junit-reports\kframework-k-k-distribution-samples-kore-kernelc-kernelc.xml

     [exec] Unexpected chunk type 0 (' ')

     [exec] Result: 229

[INFO] Executed tasks

[INFO]

[INFO] --- maven-checkstyle-plugin:2.13:check (checkstyle-java) @ k-distribution ---

[INFO]

[INFO] --- maven-failsafe-plugin:2.17:verify (default) @ k-distribution ---

[INFO] Failsafe report directory: C:\kframework\k\k-distribution\target\failsafe-reports

[WARNING] File encoding has not been set, using platform encoding Cp1252, i.e. build is platform dependent!

[INFO] ------------------------------------------------------------------------

[INFO] Reactor Summary:

[INFO]

[INFO] K Framework Tool Parent ........................... SUCCESS [12.521s]

[INFO] K Framework Frontend KORE ......................... SUCCESS [6.615s]

[INFO] K Framework Tool Kernel ........................... SUCCESS [1:41.833s]

[INFO] K Framework Java Backend .......................... SUCCESS [5.282s]

[INFO] K Framework Coq Backend ........................... SUCCESS [0.560s]

[INFO] K Framework Kale Backend .......................... SUCCESS [1.009s]

[INFO] K Framework API ................................... SUCCESS [0.773s]

[INFO] K Framework Shell ................................. SUCCESS [0.837s]

[INFO] K Framework Tool Distribution ..................... FAILURE [23:07.317s]

[INFO] K Framework kdoc backend .......................... SKIPPED

[INFO] ------------------------------------------------------------------------

[INFO] BUILD FAILURE

[INFO] ------------------------------------------------------------------------

[INFO] Total time: 25:16.977s

[INFO] Finished at: Sun Aug 27 14:02:00 BST 2017

[INFO] Final Memory: 25M/241M

[INFO] ------------------------------------------------------------------------

[ERROR] Failed to execute goal org.apache.maven.plugins:maven-failsafe-plugin:2.17:verify (default) on project k-distribution: There are test failures.

[ERROR]

[ERROR] Please refer to C:\kframework\k\k-distribution\target\failsafe-reports for the individual test results.

[ERROR] -> [Help 1]

[ERROR]

[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.

[ERROR] Re-run Maven using the -X switch to enable full debug logging.

[ERROR]

[ERROR] For more information about the errors and possible solutions, please read the following articles:

[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException

[ERROR]

[ERROR] After correcting the problems, you can resume the build with the command

[ERROR]   mvn <goals> -rf :k-distribution

C:\kframework\k>e