K-user mailing list

[Chucky Ellison <cme AT freefour.com>]

Resending this since it's been a while and I'm not entirely sure I was subscribed yet.

Any idea how to fix this so I can get K running?

Thanks!

-Chucky

---------- Forwarded message ----------
From: Chucky Ellison <cme AT freefour.com>
Date: Thu, Feb 12, 2015 at 11:20 AM
Subject: Re: [K-user] installing the latest version of K
To: Traian Florin Serbanuta <traian.serbanuta AT gmail.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>

Okay I managed to `mvn package` everything, and that was successful.  Then I tried to `mvn install` (it seems to be required by the instructions, but not sure what any of this means).  It fails with an error (I attached the entire output).  It can't find "D:\prog\k\k-distribution\target\ktest-reports\summary.xml" (indeed, no such file exists).

Just in case `mvn install` was optional, I went ahead and tried to kompile a definition, and this is what I get:

$ kompile simple-typed-static.k

/d/prog/k/k-distribution/target/release/k/bin/../lib/k: line 3: ulimit: stack size: cannot modify limit: Invalid argument

java.io.IOException: Cannot run program "sdf2table.exe" (in directory "D:\prog\k\k-distribution\tutorial\2_languages\1_simple\2_typed\1_static\.kompile-2015-02-12-11-12-34-e6bc4c3d-d62a-4d4e-b8e8-5801c81cf49c\pgm"): CreateProcess error=2, The system cannot find the file specified

        at java.lang.ProcessBuilder.start(Unknown Source)

        at org.kframework.parser.utils.Sdf2Table.run_sdf2table(Sdf2Table.java:41)

        at org.kframework.parser.DefinitionLoader.parseDefinition(DefinitionLoader.java:172)

        at org.kframework.parser.DefinitionLoader.loadDefinition(DefinitionLoader.java:88)

        at org.kframework.kompile.KompileFrontEnd.genericCompile(KompileFrontEnd.java:108)

        at org.kframework.kompile.KompileFrontEnd.run(KompileFrontEnd.java:87)

        at org.kframework.main.FrontEnd.main(FrontEnd.java:51)

        at org.kframework.main.Main.runApplication(Main.java:96)

        at org.kframework.main.Main.main(Main.java:47)

Caused by: java.io.IOException: CreateProcess error=2, The system cannot find the file specified

        at java.lang.ProcessImpl.create(Native Method)

        at java.lang.ProcessImpl.<init>(Unknown Source)

        at java.lang.ProcessImpl.start(Unknown Source)

        ... 9 more

[Error] Critical: Could not copy

D:\prog\k\k-distribution\tutorial\2_languages\1_simple\2_typed\1_static\.kompile-2015-02-12-11-12-34-e6bc4c3d-d62a-4d4e-b8e8-5801c81cf49c\pgm\Program.tbl

to directory

D:\prog\k\k-distribution\tutorial\2_languages\1_simple\2_typed\1_static\simple-typed-static-kompiled\.

It looks like that program lives in both D:\prog\k\sdf-parser\target\sdf\bin and D:\prog\k\k-distribution\target\release\k\lib\native\windows, but it's not using those paths to find it I guess.

FWIW, I skipped the IDE setup part since I only want to run on the command line.

Help appreciated :)

(Incidentally, there's a typo in /src/README.md where it says "probabably").

-Chucky

On Thu, Feb 12, 2015 at 1:30 AM, Chucky Ellison <cme AT freefour.com> wrote:

Ah I see, I was following the /INSTALL.md instructions, when apparently I was supposed to follow the src/README.md instructions.  Since the /INSTALL.md file is in the base directory of the of the repository, you might want replace it with the contents of src/README.md, and put in your zips whatever install instructions you want.  Anyone who checks out is going to look first at /INSTALL.md.  Just a friendly suggestion :)  

I'll take another crack at the install tomorrow.  Thanks Traian!

-Chucky

On Thu, Feb 12, 2015 at 1:07 AM, Traian Florin Şerbănuţă <traian.serbanuta AT fmi.unibuc.ro> wrote:

Hi Chucky,

Welcome to K!... again :)

after you run mvn package in the base directory there should be a directory

   k-distribution/target/release/k

 

which is the K distribution 

Everything described in the documentation is based to that directory, and the scripts should be run from the bin directory there, too

Also, on Windows, I find that running the batch scripts works better for me, even though most of the time I run them from the cygwin environment.

best wishes,

Traian

2015-02-12 1:49 GMT+02:00 Chucky Ellison <cme AT freefour.com>:

So I'm trying to install the latest master of K (51c11bb93be74e68d15a5e63b1262428d15e90ce) on windows 7

$ java -version

java version "1.8.0_31"

Java(TM) SE Runtime Environment (build 1.8.0_31-b13)

Java HotSpot(TM) 64-Bit Server VM (build 25.31-b07, mixed mode)

I'm using the msys2 environment (it's like a cooler cygwin).

1) the instructions seem old; there is no k/bin directory.  I think it's now meant to be k-distribution\src\main\scripts\bin.  The same is true of the Simple example directory

2)

$ kompile simple-untyped.k

/d/prog/k/k-distribution/src/main/scripts/bin/../lib/k: line 3: ulimit: stack size: cannot modify limit: Invalid argument

Error: Could not find or load main class org.kframework.main.Main

I got a similar error when I tried running the example in v3.4.

It looks like there are two errors here.  One is about setting the stack size.  It fails, but the script continues.

$ ulimit -a

core file size          (blocks, -c) unlimited

data seg size           (kbytes, -d) unlimited

file size               (blocks, -f) unlimited

open files                      (-n) 256

pipe size            (512 bytes, -p) 8

stack size              (kbytes, -s) 2025

cpu time               (seconds, -t) unlimited

max user processes              (-u) 256

virtual memory          (kbytes, -v) unlimited

FWIW:

$ uname

MSYS_NT-6.1

When it goes to run java, It looks like it's setting the classpath to be

"$(dirname "$0")/java/*"

but my $(dirname "$0") is 

/d/prog/k/k-distribution/src/main/scripts/bin/../lib

and /d/prog/k/k-distribution/src/main/scripts/bin/../lib/java doesn't exist

Did I do something wrong?  What's going on?

Thanks!

-Chucky

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

$ mvn install
[INFO] Scanning for projects...
[INFO] 
------------------------------------------------------------------------
[INFO] Reactor Build Order:
[INFO]
[INFO] K Framework Tool Parent
[INFO] K Framework KORE
[INFO] K Framework Tool Kernel
[INFO] K Framework Java Backend
[INFO] K Framework Coq Backend
[INFO] K Framework SDF Backend
[INFO] K Framework Tool Distribution
[INFO]
[INFO] 
------------------------------------------------------------------------
[INFO] Building K Framework Tool Parent 3.6-SNAPSHOT
[INFO] 
------------------------------------------------------------------------
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/plugins/maven-install-plugin/2.5.1/maven-install-plugin-2.5.1.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/plugins/maven-install-plugin/2.5.1/maven-install-plugin-2.5.1.pom
 (8 KB at 9.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/plugins/maven-install-plugin/2.5.1/maven-install-plugin-2.5.1.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/plugins/maven-install-plugin/2.5.1/maven-install-plugin-2.5.1.jar
 (33 KB at 234.4 KB/sec)
[INFO]
[INFO] --- maven-antrun-plugin:1.7:run (init-changed-files) @ parent ---
[INFO] Executing tasks

main:
[INFO] Executed tasks
[INFO]
[INFO] --- maven-checkstyle-plugin:2.13:check (checkstyle-copyright) @ parent 
---
Downloading: 
https://repo.maven.apache.org/maven2/com/puppycrawl/tools/checkstyle/5.9/checkstyle-5.9.pom
Downloaded: 
https://repo.maven.apache.org/maven2/com/puppycrawl/tools/checkstyle/5.9/checkstyle-5.9.pom
 (26 KB at 282.7 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/commons-beanutils/commons-beanutils-core/1.8.3/commons-beanutils-core-1.8.3.pom
Downloaded: 
https://repo.maven.apache.org/maven2/commons-beanutils/commons-beanutils-core/1.8.3/commons-beanutils-core-1.8.3.pom
 (2 KB at 16.2 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/commons-logging/commons-logging/1.1.1/commons-logging-1.1.1.pom
Downloaded: 
https://repo.maven.apache.org/maven2/commons-logging/commons-logging/1.1.1/commons-logging-1.1.1.pom
 (18 KB at 263.7 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/commons/commons-parent/5/commons-parent-5.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/commons/commons-parent/5/commons-parent-5.pom
 (16 KB at 211.7 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/com/google/guava/guava-jdk5/14.0.1/guava-jdk5-14.0.1.pom
Downloaded: 
https://repo.maven.apache.org/maven2/com/google/guava/guava-jdk5/14.0.1/guava-jdk5-14.0.1.pom
 (7 KB at 83.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/com/google/guava/guava-parent-jdk5/14.0.1/guava-parent-jdk5-14.0.1.pom
Downloaded: 
https://repo.maven.apache.org/maven2/com/google/guava/guava-parent-jdk5/14.0.1/guava-parent-jdk5-14.0.1.pom
 (3 KB at 50.8 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/reporting/maven-reporting-impl/2.3/maven-reporting-impl-2.3.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/reporting/maven-reporting-impl/2.3/maven-reporting-impl-2.3.pom
 (5 KB at 72.9 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/shared/maven-shared-components/20/maven-shared-components-20.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/shared/maven-shared-components/20/maven-shared-components-20.pom
 (5 KB at 84.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/shared/maven-shared-utils/0.6/maven-shared-utils-0.6.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/shared/maven-shared-utils/0.6/maven-shared-utils-0.6.pom
 (5 KB at 80.8 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-sink-api/1.2/doxia-sink-api-1.2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-sink-api/1.2/doxia-sink-api-1.2.pom
 (2 KB at 10.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia/1.2/doxia-1.2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia/1.2/doxia-1.2.pom
 (19 KB at 251.9 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-logging-api/1.2/doxia-logging-api-1.2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-logging-api/1.2/doxia-logging-api-1.2.pom
 (2 KB at 23.3 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-core/1.2/doxia-core-1.2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-core/1.2/doxia-core-1.2.pom
 (4 KB at 67.8 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/xerces/xercesImpl/2.9.1/xercesImpl-2.9.1.pom
Downloaded: 
https://repo.maven.apache.org/maven2/xerces/xercesImpl/2.9.1/xercesImpl-2.9.1.pom
 (2 KB at 21.1 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/xml-apis/xml-apis/1.3.04/xml-apis-1.3.04.pom
Downloaded: 
https://repo.maven.apache.org/maven2/xml-apis/xml-apis/1.3.04/xml-apis-1.3.04.pom
 (2 KB at 30.7 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/commons-lang/commons-lang/2.4/commons-lang-2.4.pom
Downloaded: 
https://repo.maven.apache.org/maven2/commons-lang/commons-lang/2.4/commons-lang-2.4.pom
 (14 KB at 97.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/httpclient/4.0.2/httpclient-4.0.2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/httpclient/4.0.2/httpclient-4.0.2.pom
 (8 KB at 73.9 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/httpcomponents-client/4.0.2/httpcomponents-client-4.0.2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/httpcomponents-client/4.0.2/httpcomponents-client-4.0.2.pom
 (9 KB at 79.6 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/project/4.1/project-4.1.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/project/4.1/project-4.1.pom
 (16 KB at 207.8 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/httpcore/4.0.1/httpcore-4.0.1.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/httpcore/4.0.1/httpcore-4.0.1.pom
 (5 KB at 50.8 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/httpcomponents-core/4.0.1/httpcomponents-core-4.0.1.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/httpcomponents-core/4.0.1/httpcomponents-core-4.0.1.pom
 (10 KB at 99.3 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/project/4.0/project-4.0.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/project/4.0/project-4.0.pom
 (13 KB at 224.7 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/commons-codec/commons-codec/1.3/commons-codec-1.3.pom
Downloaded: 
https://repo.maven.apache.org/maven2/commons-codec/commons-codec/1.3/commons-codec-1.3.pom
 (6 KB at 85.2 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-site-renderer/1.2/doxia-site-renderer-1.2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-site-renderer/1.2/doxia-site-renderer-1.2.pom
 (7 KB at 43.8 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-sitetools/1.2/doxia-sitetools-1.2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-sitetools/1.2/doxia-sitetools-1.2.pom
 (16 KB at 108.9 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-decoration-model/1.2/doxia-decoration-model-1.2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-decoration-model/1.2/doxia-decoration-model-1.2.pom
 (3 KB at 20.3 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-module-xhtml/1.2/doxia-module-xhtml-1.2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-module-xhtml/1.2/doxia-module-xhtml-1.2.pom
 (2 KB at 15.6 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-modules/1.2/doxia-modules-1.2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-modules/1.2/doxia-modules-1.2.pom
 (3 KB at 17.6 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-module-fml/1.2/doxia-module-fml-1.2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-module-fml/1.2/doxia-module-fml-1.2.pom
 (6 KB at 56.1 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/commons-validator/commons-validator/1.3.1/commons-validator-1.3.1.pom
Downloaded: 
https://repo.maven.apache.org/maven2/commons-validator/commons-validator/1.3.1/commons-validator-1.3.1.pom
 (9 KB at 114.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-sink-api/1.4/doxia-sink-api-1.4.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-sink-api/1.4/doxia-sink-api-1.4.pom
 (2 KB at 14.8 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia/1.4/doxia-1.4.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia/1.4/doxia-1.4.pom
 (18 KB at 201.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-logging-api/1.4/doxia-logging-api-1.4.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-logging-api/1.4/doxia-logging-api-1.4.pom
 (2 KB at 26.3 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-decoration-model/1.4/doxia-decoration-model-1.4.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-decoration-model/1.4/doxia-decoration-model-1.4.pom
 (3 KB at 33.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-sitetools/1.4/doxia-sitetools-1.4.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-sitetools/1.4/doxia-sitetools-1.4.pom
 (17 KB at 145.8 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-site-renderer/1.4/doxia-site-renderer-1.4.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-site-renderer/1.4/doxia-site-renderer-1.4.pom
 (6 KB at 96.3 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-core/1.4/doxia-core-1.4.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-core/1.4/doxia-core-1.4.pom
 (4 KB at 67.3 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-module-xhtml/1.4/doxia-module-xhtml-1.4.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-module-xhtml/1.4/doxia-module-xhtml-1.4.pom
 (2 KB at 10.7 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-modules/1.4/doxia-modules-1.4.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-modules/1.4/doxia-modules-1.4.pom
 (3 KB at 16.3 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-module-fml/1.4/doxia-module-fml-1.4.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-module-fml/1.4/doxia-module-fml-1.4.pom
 (5 KB at 74.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/velocity/velocity-tools/2.0/velocity-tools-2.0.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/velocity/velocity-tools/2.0/velocity-tools-2.0.pom
 (18 KB at 246.9 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/commons-digester/commons-digester/1.8/commons-digester-1.8.pom
Downloaded: 
https://repo.maven.apache.org/maven2/commons-digester/commons-digester/1.8/commons-digester-1.8.pom
 (7 KB at 126.7 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/commons-logging/commons-logging/1.1/commons-logging-1.1.pom
Downloaded: 
https://repo.maven.apache.org/maven2/commons-logging/commons-logging/1.1/commons-logging-1.1.pom
 (7 KB at 85.0 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/logkit/logkit/1.0.1/logkit-1.0.1.pom
Downloaded: 
https://repo.maven.apache.org/maven2/logkit/logkit/1.0.1/logkit-1.0.1.pom 
(147 B at 1.1 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/avalon-framework/avalon-framework/4.1.3/avalon-framework-4.1.3.pom
Downloaded: 
https://repo.maven.apache.org/maven2/avalon-framework/avalon-framework/4.1.3/avalon-framework-4.1.3.pom
 (167 B at 2.1 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/javax/servlet/servlet-api/2.3/servlet-api-2.3.pom
Downloaded: 
https://repo.maven.apache.org/maven2/javax/servlet/servlet-api/2.3/servlet-api-2.3.pom
 (156 B at 2.0 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/commons-chain/commons-chain/1.1/commons-chain-1.1.pom
Downloaded: 
https://repo.maven.apache.org/maven2/commons-chain/commons-chain/1.1/commons-chain-1.1.pom
 (6 KB at 39.9 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/dom4j/dom4j/1.1/dom4j-1.1.pom
Downloaded: 
https://repo.maven.apache.org/maven2/dom4j/dom4j/1.1/dom4j-1.1.pom (142 B at 
0.9 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/sslext/sslext/1.2-0/sslext-1.2-0.pom
Downloaded: 
https://repo.maven.apache.org/maven2/sslext/sslext/1.2-0/sslext-1.2-0.pom 
(653 B at 4.4 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-core/1.3.8/struts-core-1.3.8.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-core/1.3.8/struts-core-1.3.8.pom
 (5 KB at 19.2 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-parent/1.3.8/struts-parent-1.3.8.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-parent/1.3.8/struts-parent-1.3.8.pom
 (10 KB at 96.1 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-master/4/struts-master-4.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-master/4/struts-master-4.pom
 (12 KB at 165.1 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/apache/2/apache-2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/apache/2/apache-2.pom (4 KB 
at 53.7 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/antlr/antlr/2.7.2/antlr-2.7.2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/antlr/antlr/2.7.2/antlr-2.7.2.pom (145 B 
at 2.8 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-taglib/1.3.8/struts-taglib-1.3.8.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-taglib/1.3.8/struts-taglib-1.3.8.pom
 (4 KB at 23.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-tiles/1.3.8/struts-tiles-1.3.8.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-tiles/1.3.8/struts-tiles-1.3.8.pom
 (3 KB at 21.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/velocity/velocity/1.6.2/velocity-1.6.2.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/velocity/velocity/1.6.2/velocity-1.6.2.pom
 (11 KB at 167.3 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-integration-tools/1.6/doxia-integration-tools-1.6.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-integration-tools/1.6/doxia-integration-tools-1.6.pom
 (7 KB at 48.2 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-tools/3/doxia-tools-3.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-tools/3/doxia-tools-3.pom
 (10 KB at 112.7 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-logging-api/1.6/doxia-logging-api-1.6.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-logging-api/1.6/doxia-logging-api-1.6.pom
 (2 KB at 17.2 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia/1.6/doxia-1.6.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia/1.6/doxia-1.6.pom
 (19 KB at 234.7 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-decoration-model/1.6/doxia-decoration-model-1.6.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-decoration-model/1.6/doxia-decoration-model-1.6.pom
 (3 KB at 28.1 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-sitetools/1.6/doxia-sitetools-1.6.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-sitetools/1.6/doxia-sitetools-1.6.pom
 (18 KB at 107.2 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-resources/1.0-alpha-7/plexus-resources-1.0-alpha-7.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-resources/1.0-alpha-7/plexus-resources-1.0-alpha-7.pom
 (2 KB at 18.7 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-components/1.1.17/plexus-components-1.1.17.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-components/1.1.17/plexus-components-1.1.17.pom
 (6 KB at 61.3 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus/2.0.5/plexus-2.0.5.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus/2.0.5/plexus-2.0.5.pom
 (17 KB at 238.6 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-interpolation/1.19/plexus-interpolation-1.19.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-interpolation/1.19/plexus-interpolation-1.19.pom
 (2 KB at 7.2 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-velocity/1.1.8/plexus-velocity-1.1.8.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-velocity/1.1.8/plexus-velocity-1.1.8.pom
 (2 KB at 18.0 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/com/puppycrawl/tools/checkstyle/5.9/checkstyle-5.9.jar
Downloading: 
https://repo.maven.apache.org/maven2/commons-beanutils/commons-beanutils-core/1.8.3/commons-beanutils-core-1.8.3.jar
Downloading: 
https://repo.maven.apache.org/maven2/com/google/guava/guava-jdk5/14.0.1/guava-jdk5-14.0.1.jar
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/reporting/maven-reporting-impl/2.3/maven-reporting-impl-2.3.jar
Downloading: 
https://repo.maven.apache.org/maven2/commons-logging/commons-logging/1.1.1/commons-logging-1.1.1.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/reporting/maven-reporting-impl/2.3/maven-reporting-impl-2.3.jar
 (18 KB at 72.2 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/shared/maven-shared-utils/0.6/maven-shared-utils-0.6.jar
Downloaded: 
https://repo.maven.apache.org/maven2/commons-logging/commons-logging/1.1.1/commons-logging-1.1.1.jar
 (60 KB at 200.2 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-core/1.2/doxia-core-1.2.jar
Downloaded: 
https://repo.maven.apache.org/maven2/commons-beanutils/commons-beanutils-core/1.8.3/commons-beanutils-core-1.8.3.jar
 (202 KB at 528.4 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/xerces/xercesImpl/2.9.1/xercesImpl-2.9.1.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-core/1.2/doxia-core-1.2.jar
 (151 KB at 326.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/xml-apis/xml-apis/1.3.04/xml-apis-1.3.04.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/shared/maven-shared-utils/0.6/maven-shared-utils-0.6.jar
 (161 KB at 317.1 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/httpclient/4.0.2/httpclient-4.0.2.jar
Downloaded: 
https://repo.maven.apache.org/maven2/xml-apis/xml-apis/1.3.04/xml-apis-1.3.04.jar
 (190 KB at 256.8 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/httpcore/4.0.1/httpcore-4.0.1.jar
Downloaded: 
https://repo.maven.apache.org/maven2/com/puppycrawl/tools/checkstyle/5.9/checkstyle-5.9.jar
 (705 KB at 934.8 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/commons-codec/commons-codec/1.3/commons-codec-1.3.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/httpclient/4.0.2/httpclient-4.0.2.jar
 (287 KB at 363.4 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/commons-validator/commons-validator/1.3.1/commons-validator-1.3.1.jar
Downloaded: 
https://repo.maven.apache.org/maven2/commons-codec/commons-codec/1.3/commons-codec-1.3.jar
 (46 KB at 49.6 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-sink-api/1.4/doxia-sink-api-1.4.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/httpcomponents/httpcore/4.0.1/httpcore-4.0.1.jar
 (169 KB at 181.0 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-logging-api/1.4/doxia-logging-api-1.4.jar
Downloaded: 
https://repo.maven.apache.org/maven2/commons-validator/commons-validator/1.3.1/commons-validator-1.3.1.jar
 (136 KB at 133.3 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-decoration-model/1.4/doxia-decoration-model-1.4.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-sink-api/1.4/doxia-sink-api-1.4.jar
 (11 KB at 10.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-site-renderer/1.4/doxia-site-renderer-1.4.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-logging-api/1.4/doxia-logging-api-1.4.jar
 (12 KB at 10.6 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-module-xhtml/1.4/doxia-module-xhtml-1.4.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-decoration-model/1.4/doxia-decoration-model-1.4.jar
 (60 KB at 51.9 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-module-fml/1.4/doxia-module-fml-1.4.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-site-renderer/1.4/doxia-site-renderer-1.4.jar
 (52 KB at 44.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/velocity/velocity-tools/2.0/velocity-tools-2.0.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-module-xhtml/1.4/doxia-module-xhtml-1.4.jar
 (16 KB at 12.6 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/commons-chain/commons-chain/1.1/commons-chain-1.1.jar
Downloaded: 
https://repo.maven.apache.org/maven2/com/google/guava/guava-jdk5/14.0.1/guava-jdk5-14.0.1.jar
 (1957 KB at 1490.0 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/dom4j/dom4j/1.1/dom4j-1.1.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-module-fml/1.4/doxia-module-fml-1.4.jar
 (37 KB at 28.2 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/sslext/sslext/1.2-0/sslext-1.2-0.jar
Downloaded: 
https://repo.maven.apache.org/maven2/xerces/xercesImpl/2.9.1/xercesImpl-2.9.1.jar
 (1201 KB at 766.5 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-core/1.3.8/struts-core-1.3.8.jar
Downloaded: 
https://repo.maven.apache.org/maven2/commons-chain/commons-chain/1.1/commons-chain-1.1.jar
 (88 KB at 55.3 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-taglib/1.3.8/struts-taglib-1.3.8.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/velocity/velocity-tools/2.0/velocity-tools-2.0.jar
 (339 KB at 208.0 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-tiles/1.3.8/struts-tiles-1.3.8.jar
Downloaded: 
https://repo.maven.apache.org/maven2/sslext/sslext/1.2-0/sslext-1.2-0.jar (26 
KB at 14.8 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-integration-tools/1.6/doxia-integration-tools-1.6.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-tiles/1.3.8/struts-tiles-1.3.8.jar
 (117 KB at 65.1 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-resources/1.0-alpha-7/plexus-resources-1.0-alpha-7.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-taglib/1.3.8/struts-taglib-1.3.8.jar
 (246 KB at 135.0 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-interpolation/1.19/plexus-interpolation-1.19.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/struts/struts-core/1.3.8/struts-core-1.3.8.jar
 (322 KB at 176.6 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-velocity/1.1.8/plexus-velocity-1.1.8.jar
Downloaded: 
https://repo.maven.apache.org/maven2/dom4j/dom4j/1.1/dom4j-1.1.jar (447 KB at 
238.5 KB/sec)
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/doxia/doxia-integration-tools/1.6/doxia-integration-tools-1.6.jar
 (44 KB at 23.2 KB/sec)
Downloaded: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-velocity/1.1.8/plexus-velocity-1.1.8.jar
 (8 KB at 4.0 KB/sec)
Downloaded: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-interpolation/1.19/plexus-interpolation-1.19.jar
 (61 KB at 31.4 KB/sec)
Downloaded: 
https://repo.maven.apache.org/maven2/org/codehaus/plexus/plexus-resources/1.0-alpha-7/plexus-resources-1.0-alpha-7.jar
 (23 KB at 11.8 KB/sec)
[INFO]
[INFO] --- maven-checkstyle-plugin:2.13:check (checkstyle-k) @ parent ---
[INFO]
[INFO] --- maven-checkstyle-plugin:2.13:check (checkstyle-java) @ parent ---
[INFO]
[INFO] --- maven-install-plugin:2.5.1:install (default-install) @ parent ---
Downloading: 
https://repo.maven.apache.org/maven2/commons-codec/commons-codec/1.6/commons-codec-1.6.pom
Downloaded: 
https://repo.maven.apache.org/maven2/commons-codec/commons-codec/1.6/commons-codec-1.6.pom
 (11 KB at 172.9 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/shared/maven-shared-utils/0.4/maven-shared-utils-0.4.pom
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/shared/maven-shared-utils/0.4/maven-shared-utils-0.4.pom
 (4 KB at 65.9 KB/sec)
Downloading: 
https://repo.maven.apache.org/maven2/commons-codec/commons-codec/1.6/commons-codec-1.6.jar
Downloading: 
https://repo.maven.apache.org/maven2/org/apache/maven/shared/maven-shared-utils/0.4/maven-shared-utils-0.4.jar
Downloaded: 
https://repo.maven.apache.org/maven2/org/apache/maven/shared/maven-shared-utils/0.4/maven-shared-utils-0.4.jar
 (152 KB at 948.8 KB/sec)
Downloaded: 
https://repo.maven.apache.org/maven2/commons-codec/commons-codec/1.6/commons-codec-1.6.jar
 (228 KB at 1277.1 KB/sec)
[INFO] Installing D:\prog\k\pom.xml to 
C:\Users\celliso2\.m2\repository\org\kframework\k\parent\3.6-SNAPSHOT\parent-3.6-SNAPSHOT.pom
[INFO]
[INFO] 
------------------------------------------------------------------------
[INFO] Building K Framework KORE 3.6-SNAPSHOT
[INFO] 
------------------------------------------------------------------------
[INFO]
[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ kore ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory D:\prog\k\kore\src\main\resources
[INFO]
[INFO] --- scala-maven-plugin:3.2.0:add-source (scala-compile-first) @ kore 
---
[INFO] Add Source directory: D:\prog\k\kore\src\main\scala
[INFO] Add Test Source directory: D:\prog\k\kore\src\test\scala
[INFO]
[INFO] --- scala-maven-plugin:3.2.0:compile (scala-compile-first) @ kore ---
[INFO] Nothing to compile - all classes are up to date
[INFO]
[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ kore ---
[INFO] Nothing to compile - all classes are up to date
[INFO]
[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ 
kore ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory D:\prog\k\kore\src\test\resources
[INFO]
[INFO] --- scala-maven-plugin:3.2.0:testCompile (scala-test-compile) @ kore 
---
[INFO] Nothing to compile - all classes are up to date
[INFO]
[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ kore 
---
[INFO] Nothing to compile - all classes are up to date
[INFO]
[INFO] --- maven-surefire-plugin:2.12.4:test (default-test) @ kore ---
[INFO] Surefire report directory: D:\prog\k\kore\target\surefire-reports

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.kframework.AssocTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.034 sec
Running org.kframework.CollectionsTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.524 sec
Running org.kframework.kore.InterfaceTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.43 sec
Running org.kframework.kore.KoreTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.102 sec
Running org.kframework.kore.outer.OuterTest
POSet(Int<Exp)
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.752 sec
Running org.kframework.kore.VisitorTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.045 sec
Running org.kframework.POSetTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.064 sec
Running org.kframework.tiny.ReflectionTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.205 sec
Running org.kframework.tiny.VisitorTest
33737
22177
35036
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.11 sec

Results :

Tests run: 50, Failures: 0, Errors: 0, Skipped: 0

[INFO]
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ kore ---
[INFO]
[INFO] --- maven-antrun-plugin:1.7:run (init-changed-files) @ kore ---
[INFO] Executing tasks

main:
[INFO] Executed tasks
[INFO]
[INFO] --- maven-checkstyle-plugin:2.13:check (checkstyle-java) @ kore ---
[INFO]
[INFO] --- maven-install-plugin:2.5.1:install (default-install) @ kore ---
[INFO] Installing D:\prog\k\kore\target\kore-3.6-SNAPSHOT.jar to 
C:\Users\celliso2\.m2\repository\org\kframework\k\kore\3.6-SNAPSHOT\kore-3.6-SNAPSHOT.jar
[INFO] Installing D:\prog\k\kore\pom.xml to 
C:\Users\celliso2\.m2\repository\org\kframework\k\kore\3.6-SNAPSHOT\kore-3.6-SNAPSHOT.pom
[INFO]
[INFO] 
------------------------------------------------------------------------
[INFO] Building K Framework Tool Kernel 3.6-SNAPSHOT
[INFO] 
------------------------------------------------------------------------
[INFO]
[INFO] --- buildnumber-maven-plugin:1.3:create (default) @ kernel ---
[INFO] ShortRevision tag detected. The value is '7'.
[INFO] Executing: cmd.exe /X /C "git rev-parse --verify --short=7 HEAD"
[INFO] Working directory: D:\prog\k\kernel
[INFO] Storing buildNumber: 51c11bb at timestamp: 1423757092079
[INFO] Storing buildScmBranch: master
[INFO]
[INFO] --- javacc-maven-plugin:2.6:javacc (javacc) @ kernel ---
[INFO] Skipping - all parsers are up to date
[INFO]
[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ kernel 
---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 6 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ kernel ---
[INFO] Nothing to compile - all classes are up to date
[INFO]
[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ 
kernel ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 6 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ 
kernel ---
[INFO] Nothing to compile - all classes are up to date
[INFO]
[INFO] --- maven-surefire-plugin:2.17:test (default-test) @ kernel ---
[INFO] Surefire report directory: D:\prog\k\kernel\target\surefire-reports

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.kframework.backend.kore.ToKAppTransformerTest
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.954 sec - 
in org.kframework.backend.kore.ToKAppTransformerTest
Running org.kframework.backend.unparser.UnparserFilterNewTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.286 sec - 
in org.kframework.backend.unparser.UnparserFilterNewTest
Running org.kframework.compile.utils.CompileDataStructuresTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.281 sec - 
in org.kframework.compile.utils.CompileDataStructuresTest
Running org.kframework.kast.KastModuleTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.856 sec - 
in org.kframework.kast.KastModuleTest
Running org.kframework.kdoc.KDocModuleTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.28 sec - in 
org.kframework.kdoc.KDocModuleTest
Running org.kframework.kil.ListBuiltinTest
Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in 
org.kframework.kil.ListBuiltinTest
Running org.kframework.kompile.KompileFrontEndTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.16 sec - in 
org.kframework.kompile.KompileFrontEndTest
Running org.kframework.kompile.KompileModuleTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.173 sec - 
in org.kframework.kompile.KompileModuleTest
Running org.kframework.kompile.KompileOptionsTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.019 sec - 
in org.kframework.kompile.KompileOptionsTest
Running 
org.kframework.krun.ioserver.filesystem.portable.PortableFileSystemTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.053 sec - 
in org.kframework.krun.ioserver.filesystem.portable.PortableFileSystemTest
Running org.kframework.krun.KRunFrontEndTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.017 sec - 
in org.kframework.krun.KRunFrontEndTest
Running org.kframework.krun.KRunOptionsTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in 
org.kframework.krun.KRunOptionsTest
Running org.kframework.ktest.KTestModuleTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.075 sec - 
in org.kframework.ktest.KTestModuleTest
Running org.kframework.parser.concrete.disambiguate.VariableWarningTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.127 sec - 
in org.kframework.parser.concrete.disambiguate.VariableWarningTest
Running org.kframework.parser.concrete2kore.ParserTest
Tests run: 13, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.456 sec - 
in org.kframework.parser.concrete2kore.ParserTest
Running org.kframework.parser.concrete2kore.TreeCleanerVisitorTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in 
org.kframework.parser.concrete2kore.TreeCleanerVisitorTest
Running org.kframework.parser.outer.NewOuterParserTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.668 sec - 
in org.kframework.parser.outer.NewOuterParserTest
Running org.kframework.utils.ColorUtilTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.022 sec - 
in org.kframework.utils.ColorUtilTest
Running org.kframework.utils.inject.DefinitionLoadingModuleTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.018 sec - 
in org.kframework.utils.inject.DefinitionLoadingModuleTest
Running org.kframework.utils.kastparser.KastParserTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.129 sec - 
in org.kframework.utils.kastparser.KastParserTest
Running org.kframework.utils.PosetTest
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - 
in org.kframework.utils.PosetTest
Running org.kframework.utils.StringUtilTest
Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in 
org.kframework.utils.StringUtilTest

Results :

Tests run: 64, Failures: 0, Errors: 0, Skipped: 0

[INFO]
[INFO] --- maven-jar-plugin:2.5:jar (default-jar) @ kernel ---
[INFO]
[INFO] --- maven-jar-plugin:2.5:test-jar (default) @ kernel ---
[INFO]
[INFO] --- maven-antrun-plugin:1.7:run (init-changed-files) @ kernel ---
[INFO] Executing tasks

main:
[INFO] Executed tasks
[INFO]
[INFO] --- maven-checkstyle-plugin:2.13:check (checkstyle-java) @ kernel ---
[INFO]
[INFO] --- maven-install-plugin:2.5.1:install (default-install) @ kernel ---
[INFO] Installing D:\prog\k\kernel\target\kernel-3.6-SNAPSHOT.jar to 
C:\Users\celliso2\.m2\repository\org\kframework\k\kernel\3.6-SNAPSHOT\kernel-3.6-SNAPSHOT.jar
[INFO] Installing D:\prog\k\kernel\pom.xml to 
C:\Users\celliso2\.m2\repository\org\kframework\k\kernel\3.6-SNAPSHOT\kernel-3.6-SNAPSHOT.pom
[INFO] Installing D:\prog\k\kernel\target\kernel-3.6-SNAPSHOT-tests.jar to 
C:\Users\celliso2\.m2\repository\org\kframework\k\kernel\3.6-SNAPSHOT\kernel-3.6-SNAPSHOT-tests.jar
[INFO]
[INFO] 
------------------------------------------------------------------------
[INFO] Building K Framework Java Backend 3.6-SNAPSHOT
[INFO] 
------------------------------------------------------------------------
[INFO]
[INFO] --- maven-dependency-plugin:2.8:copy-dependencies 
(copy-native-dependencies) @ java-backend ---
[INFO] Copying msvcp100-10.0-64.dll to 
D:\prog\k\java-backend\target\lib\native\msvcp100.dll
[INFO] Copying z3java-4.3.2-bb56885147e4-windows64.dll to 
D:\prog\k\java-backend\target\lib\native\z3java.dll
[INFO] Copying libz3-4.3.2-bb56885147e4-windows64.dll to 
D:\prog\k\java-backend\target\lib\native\libz3.dll
[INFO] Copying msvcr100-10.0-64.dll to 
D:\prog\k\java-backend\target\lib\native\msvcr100.dll
[INFO] Copying vcomp100-10.0-64.dll to 
D:\prog\k\java-backend\target\lib\native\vcomp100.dll
[INFO]
[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ 
java-backend ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ java-backend 
---
[INFO] Nothing to compile - all classes are up to date
[INFO]
[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ 
java-backend ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory 
D:\prog\k\java-backend\src\test\resources
[INFO]
[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ 
java-backend ---
[INFO] Nothing to compile - all classes are up to date
[INFO]
[INFO] --- maven-surefire-plugin:2.17:test (default-test) @ java-backend ---
[INFO] Surefire report directory: 
D:\prog\k\java-backend\target\surefire-reports

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.kframework.backend.java.builtins.BuiltinFloatOperationsTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.216 sec - 
in org.kframework.backend.java.builtins.BuiltinFloatOperationsTest
Running org.kframework.backend.java.builtins.BuiltinIOOperationsTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.295 sec - 
in org.kframework.backend.java.builtins.BuiltinIOOperationsTest
Running org.kframework.backend.java.kil.BuiltinListTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.048 sec - 
in org.kframework.backend.java.kil.BuiltinListTest
Running org.kframework.backend.java.kil.BuiltinMapTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.09 sec - in 
org.kframework.backend.java.kil.BuiltinMapTest
Running org.kframework.backend.java.kil.JavaSymbolicObjectTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.534 sec - 
in org.kframework.backend.java.kil.JavaSymbolicObjectTest
Running org.kframework.backend.java.symbolic.JavaSymbolicKRunModuleTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.007 sec - 
in org.kframework.backend.java.symbolic.JavaSymbolicKRunModuleTest
Running org.kframework.backend.java.symbolic.UseSMTTest
D:\Program 
Files\Java\jdk1.8.0_31\jre\bin;C:\Windows\Sun\Java\bin;C:\Windows\system32;C:\Windows;D:\msys64\usr\local\bin;D:\msys64\usr\bin;D:\msys64\usr\bin;D:\msys64\opt\bin;C:\ProgramData\Oracle\Java\javapath;C:\Program
 Files (x86)\NVIDIA 
Corporation\PhysX\Common;D:\Python27;D:\Python33;D:\Python33\Scripts;C:\Program
 Files\Common Files\Microsoft Shared\Windows 
Live;C:\Windows\system32;C:\Windows;C:\Windows\System32\Wbem;C:\Windows\System32\WindowsPowerShell\v1.0;D:\Program
 Files\TortoiseSVN\bin;D:\Program Files\Prio;D:\Program Files\MiKTeX 
2.9\miktex\bin\x64;D:\Program Files\MySQL\MySQL Server 5.5\bin;D:\Program 
Files (x86)\Git\cmd;D:\Program Files (x86)\QuickTime\QTSystem;D:\Program 
Files (x86)\Java\jdk1.7.0_09\bin;C:\Program Files (x86)\Windows 
Kits\8.1\Windows Performance Toolkit;C:\Program Files\Microsoft SQL 
Server\110\Tools\Binn;D:\Program Files\Calibre2;D:\Go\bin;D:\Program 
Files\TortoiseGit\bin;D:\Program 
Files\Apache\apache-maven\bin;D:\Ruby193\bin;C:\Program Files\Common 
Files\Microsoft Shared\Windows Live;D:\Program Files 
(x86)\Graphviz2.30\bin;D:\Program Files 
(x86)\Rust\bin;D:\msys64\usr\bin\site_perl;D:\msys64\usr\bin\vendor_perl;D:\msys64\usr\bin\core_perl;D:\msys64\mingw64\bin;D:\prog\k\java-backend\target/lib/native;.
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.158 sec - 
in org.kframework.backend.java.symbolic.UseSMTTest
Running org.kframework.backend.java.util.ConjunctionDisjunctionTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in 
org.kframework.backend.java.util.ConjunctionDisjunctionTest

Results :

Tests run: 14, Failures: 0, Errors: 0, Skipped: 0

[INFO]
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ java-backend ---
[INFO]
[INFO] --- maven-antrun-plugin:1.7:run (init-changed-files) @ java-backend ---
[INFO] Executing tasks

main:
[INFO] Executed tasks
[INFO]
[INFO] --- maven-checkstyle-plugin:2.13:check (checkstyle-java) @ 
java-backend ---
[INFO]
[INFO] --- maven-install-plugin:2.5.1:install (default-install) @ 
java-backend ---
[INFO] Installing D:\prog\k\java-backend\target\java-backend-3.6-SNAPSHOT.jar 
to 
C:\Users\celliso2\.m2\repository\org\kframework\k\java-backend\3.6-SNAPSHOT\java-backend-3.6-SNAPSHOT.jar
[INFO] Installing D:\prog\k\java-backend\pom.xml to 
C:\Users\celliso2\.m2\repository\org\kframework\k\java-backend\3.6-SNAPSHOT\java-backend-3.6-SNAPSHOT.pom
[INFO]
[INFO] 
------------------------------------------------------------------------
[INFO] Building K Framework Coq Backend 3.6-SNAPSHOT
[INFO] 
------------------------------------------------------------------------
[INFO]
[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ 
coq-backend ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO]
[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ coq-backend 
---
[INFO] Nothing to compile - all classes are up to date
[INFO]
[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ 
coq-backend ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory 
D:\prog\k\coq-backend\src\test\resources
[INFO]
[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ 
coq-backend ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.17:test (default-test) @ coq-backend ---
[INFO] No tests to run.
[INFO]
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ coq-backend ---
[INFO]
[INFO] --- maven-antrun-plugin:1.7:run (init-changed-files) @ coq-backend ---
[INFO] Executing tasks

main:
[INFO] Executed tasks
[INFO]
[INFO] --- maven-checkstyle-plugin:2.13:check (checkstyle-java) @ coq-backend 
---
[INFO]
[INFO] --- maven-install-plugin:2.5.1:install (default-install) @ coq-backend 
---
[INFO] Installing D:\prog\k\coq-backend\target\coq-backend-3.6-SNAPSHOT.jar 
to 
C:\Users\celliso2\.m2\repository\org\kframework\k\coq-backend\3.6-SNAPSHOT\coq-backend-3.6-SNAPSHOT.jar
[INFO] Installing D:\prog\k\coq-backend\pom.xml to 
C:\Users\celliso2\.m2\repository\org\kframework\k\coq-backend\3.6-SNAPSHOT\coq-backend-3.6-SNAPSHOT.pom
[INFO]
[INFO] 
------------------------------------------------------------------------
[INFO] Building K Framework SDF Backend 3.6-SNAPSHOT
[INFO] 
------------------------------------------------------------------------
[INFO]
[INFO] --- maven-dependency-plugin:2.8:copy (copy-build-dependencies) @ 
sdf-parser ---
[INFO] Configured Artifact: 
org.kframework.dependencies:sdf2table:windows:1.0:exe
[INFO] Configured Artifact: 
org.kframework.dependencies:implodePT:windows:1.0:exe
[INFO] org.kframework.dependencies:sdf2table:windows:1.0:exe already exists 
in D:\prog\k\sdf-parser\target\sdf\bin
[INFO] org.kframework.dependencies:implodePT:windows:1.0:exe already exists 
in D:\prog\k\sdf-parser\target\sdf\bin
[INFO]
[INFO] --- maven-dependency-plugin:2.8:copy-dependencies 
(copy-windows-dependencies) @ sdf-parser ---
[INFO] cygwin1-1.0.dll already exists in destination.
[INFO]
[INFO] --- maven-antrun-plugin:1.7:run (generate-sdf) @ sdf-parser ---
[INFO] Executing tasks

main:

concrete.signature:

concrete.signature.helper:

all.signature:

concrete.stratego2java:

concrete.stratego2java.helper:

all.stratego2java:
[INFO] Executed tasks
[INFO]
[INFO] --- build-helper-maven-plugin:1.9:add-source (add-source) @ sdf-parser 
---
[INFO] Source directory: D:\prog\k\sdf-parser\target\generated-sources\sdf 
added.
[INFO]
[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ 
sdf-parser ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 6 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ sdf-parser 
---
[INFO] Nothing to compile - all classes are up to date
[INFO]
[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ 
sdf-parser ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory 
D:\prog\k\sdf-parser\src\test\resources
[INFO]
[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ 
sdf-parser ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.12.4:test (default-test) @ sdf-parser ---
[INFO] No tests to run.
[INFO]
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ sdf-parser ---
[INFO]
[INFO] --- maven-antrun-plugin:1.7:run (init-changed-files) @ sdf-parser ---
[INFO] Executing tasks

main:
[INFO] Executed tasks
[INFO]
[INFO] --- maven-checkstyle-plugin:2.13:check (checkstyle-java) @ sdf-parser 
---
[INFO]
[INFO] --- maven-install-plugin:2.5.1:install (default-install) @ sdf-parser 
---
[INFO] Installing D:\prog\k\sdf-parser\target\sdf-parser-3.6-SNAPSHOT.jar to 
C:\Users\celliso2\.m2\repository\org\kframework\k\sdf-parser\3.6-SNAPSHOT\sdf-parser-3.6-SNAPSHOT.jar
[INFO] Installing D:\prog\k\sdf-parser\pom.xml to 
C:\Users\celliso2\.m2\repository\org\kframework\k\sdf-parser\3.6-SNAPSHOT\sdf-parser-3.6-SNAPSHOT.pom
[INFO]
[INFO] 
------------------------------------------------------------------------
[INFO] Building K Framework Tool Distribution 3.6-SNAPSHOT
[INFO] 
------------------------------------------------------------------------
[INFO]
[INFO] --- maven-dependency-plugin:2.8:unpack-dependencies 
(unpack-zip-dependencies) @ k-distribution ---
[INFO]
[INFO] --- maven-dependency-plugin:2.8:copy-dependencies 
(copy-windows-dependencies) @ k-distribution ---
[INFO] cygwin1-1.0.dll already exists in destination.
[INFO]
[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ 
k-distribution ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory 
D:\prog\k\k-distribution\src\main\resources
[INFO]
[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ 
k-distribution ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ 
k-distribution ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 52 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ 
k-distribution ---
[INFO] Nothing to compile - all classes are up to date
[INFO]
[INFO] --- maven-surefire-plugin:2.12.4:test (default-test) @ k-distribution 
---
[INFO] Surefire report directory: 
D:\prog\k\k-distribution\target\surefire-reports

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.kframework.kore.convertors.TestParserOnKORE
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.894 sec
Running org.kframework.kore.KoreDefinitionTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.515 sec

Results :

Tests run: 2, Failures: 0, Errors: 0, Skipped: 0

[INFO]
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ k-distribution ---
[WARNING] JAR will be empty - no content was marked for inclusion!
[INFO]
[INFO] --- maven-dependency-plugin:2.8:copy-dependencies 
(copy-java-dependencies) @ k-distribution ---
[INFO] scala-reflect-2.11.4.jar already exists in destination.
[INFO] collections-generic-4.01.jar already exists in destination.
[INFO] commons-collections4-4.0.jar already exists in destination.
[INFO] jline-0.9.94.jar already exists in destination.
[INFO] aopalliance-1.0.jar already exists in destination.
[INFO] jcommander-1.35-custom.jar already exists in destination.
[INFO] mpfr_java-1.0.1-windows64.jar already exists in destination.
[INFO] jsr305-3.0.0.jar already exists in destination.
[INFO] guice-4.0-beta5.jar already exists in destination.
[INFO] mpfr_java-1.0.1-linux64.jar already exists in destination.
[INFO] guice-multibindings-4.0-beta5.jar already exists in destination.
[INFO] mpfr_java-1.0.1.jar already exists in destination.
[INFO] jung-io-2.0.1.jar already exists in destination.
[INFO] scala-library-2.11.4.jar already exists in destination.
[INFO] nailgun-server-0.9.2-k3.5.jar already exists in destination.
[INFO] commons-codec-1.10.jar already exists in destination.
[INFO] jung-algorithms-2.0.1.jar already exists in destination.
[INFO] objenesis-1.2.jar already exists in destination.
[INFO] java-backend-3.6-SNAPSHOT.jar already exists in destination.
[INFO] guice-grapher-4.0-beta5.jar already exists in destination.
[INFO] kore-3.6-SNAPSHOT.jar already exists in destination.
[INFO] wstx-asl-3.2.6.jar already exists in destination.
[INFO] javax.inject-1.jar already exists in destination.
[INFO] pcollections-2.1.2.jar already exists in destination.
[INFO] colt-1.2.0.jar already exists in destination.
[INFO] commons-io-2.4.jar already exists in destination.
[INFO] jansi-1.11.jar already exists in destination.
[INFO] mpfr_java-1.0.1-windows32.jar already exists in destination.
[INFO] hawtjni-runtime-1.10.jar already exists in destination.
[INFO] mpfr_java-1.0.1-osx.jar already exists in destination.
[INFO] jung-graph-impl-2.0.1.jar already exists in destination.
[INFO] coq-backend-3.6-SNAPSHOT.jar already exists in destination.
[INFO] guice-throwingproviders-4.0-beta5.jar already exists in destination.
[INFO] guava-18.0.jar already exists in destination.
[INFO] com.microsoft.z3-4.3.2-bb56885147e4.jar already exists in destination.
[INFO] jung-api-2.0.1.jar already exists in destination.
[INFO] concurrent-1.3.4.jar already exists in destination.
[INFO] guice-assistedinject-4.0-beta5.jar already exists in destination.
[INFO] cloning-1.9.0.jar already exists in destination.
[INFO] commons-lang3-3.3.2.jar already exists in destination.
[INFO] kernel-3.6-SNAPSHOT.jar already exists in destination.
[INFO] mpfr_java-1.0.1-linux32.jar already exists in destination.
[INFO] stax-api-1.0.1.jar already exists in destination.
[INFO]
[INFO] --- maven-dependency-plugin:2.8:copy-dependencies 
(copy-dynamic-dependencies) @ k-distribution ---
[INFO] sdf-parser-3.6-SNAPSHOT.jar already exists in destination.
[INFO] strategoxt-1.0.jar already exists in destination.
[INFO]
[INFO] --- maven-assembly-plugin:2.4:single (assembly-dir) @ k-distribution 
---
[INFO] Reading assembly descriptor: src/main/assembly/bin.xml
[INFO] Copying files to D:\prog\k\k-distribution\target\release
[WARNING] Assembly file: D:\prog\k\k-distribution\target\release is not a 
regular file (it may be a directory). It cannot be attached to the project 
build for installation or deployment.
[INFO]
[INFO] --- maven-antrun-plugin:1.7:run (init-changed-files) @ k-distribution 
---
[INFO] Executing tasks

main:
[INFO] Executed tasks
[INFO]
[INFO] --- maven-antrun-plugin:1.7:run (prepare-ktest) @ k-distribution ---
[INFO] Executing tasks

main:
[INFO] Executed tasks
[INFO]
[INFO] --- maven-antrun-plugin:1.7:run (exec-ktest) @ k-distribution ---
[INFO] Executing tasks

main:
     [exec] connect: No error
     [exec] Result: 230
[INFO] Executed tasks
[INFO]
[INFO] --- maven-failsafe-plugin:2.17:integration-test (default) @ 
k-distribution ---
[INFO] Failsafe report directory: 
D:\prog\k\k-distribution\target\failsafe-reports

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.kframework.kore.convertors.TstKILtoKOREIT
Tests run: 16, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 7.433 sec - 
in org.kframework.kore.convertors.TstKILtoKOREIT
Running org.kframework.kore.convertors.TstKOREtoKILIT
Tests run: 16, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 4.022 sec - 
in org.kframework.kore.convertors.TstKOREtoKILIT

Results :

Tests run: 32, Failures: 0, Errors: 0, Skipped: 1

[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] Warning: Could not find file 
D:\prog\k\k-distribution\junit-reports to copy.
     [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: 
D:\prog\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] --- maven-failsafe-plugin:2.17:verify (verify-ktest) @ k-distribution 
---
[INFO] Failsafe report directory: 
D:\prog\k\k-distribution\target\ktest-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 [ 16.812 
s]
[INFO] K Framework KORE ................................... SUCCESS [  6.762 
s]
[INFO] K Framework Tool Kernel ............................ SUCCESS [  7.663 
s]
[INFO] K Framework Java Backend ........................... SUCCESS [ 11.348 
s]
[INFO] K Framework Coq Backend ............................ SUCCESS [  0.633 
s]
[INFO] K Framework SDF Backend ............................ SUCCESS [  1.133 
s]
[INFO] K Framework Tool Distribution ...................... FAILURE [ 26.084 
s]
[INFO] 
------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] 
------------------------------------------------------------------------
[INFO] Total time: 01:10 min
[INFO] Finished at: 2015-02-12T11:05:38-05:00
[INFO] Final Memory: 28M/298M
[INFO] 
------------------------------------------------------------------------
[ERROR] Failed to execute goal 
org.apache.maven.plugins:maven-failsafe-plugin:2.17:verify (verify-ktest) on 
project k-distribution: 
D:\prog\k\k-distribution\target\ktest-reports\summary.xml (The system cannot 
find the path specified) -> [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/MojoExecutionException
[ERROR]
[ERROR] After correcting the problems, you can resume the build with the 
command
[ERROR]   mvn <goals> -rf :k-distribution