{"action":"opened","issue":{"url":"https://api.github.com/repos/kframework/k/issues/1649","labels_url":"https://api.github.com/repos/kframework/k/issues/1649/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/1649/comments","events_url":"https://api.github.com/repos/kframework/k/issues/1649/events","html_url":"https://github.com/kframework/k/issues/1649","id":102433941,"number":1649,"title":"Fix path issue in TestParserOnKORE","user":{"login":"dwightguth","id":5104541,"avatar_url":"https://avatars.githubusercontent.com/u/5104541?v=3","gravatar_id":"","url":"https://api.github.com/users/dwightguth","html_url":"https://github.com/dwightguth","followers_url":"https://api.github.com/users/dwightguth/followers","following_url":"https://api.github.com/users/dwightguth/following{/other_user}","gists_url":"https://api.github.com/users/dwightguth/gists{/gist_id}","starred_url":"https://api.github.com/users/dwightguth/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dwightguth/subscriptions","organizations_url":"https://api.github.com/users/dwightguth/orgs","repos_url":"https://api.github.com/users/dwightguth/repos","events_url":"https://api.github.com/users/dwightguth/events{/privacy}","received_events_url":"https://api.github.com/users/dwightguth/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"cos","id":37514,"avatar_url":"https://avatars.githubusercontent.com/u/37514?v=3","gravatar_id":"","url":"https://api.github.com/users/cos","html_url":"https://github.com/cos","followers_url":"https://api.github.com/users/cos/followers","following_url":"https://api.github.com/users/cos/following{/other_user}","gists_url":"https://api.github.com/users/cos/gists{/gist_id}","starred_url":"https://api.github.com/users/cos/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cos/subscriptions","organizations_url":"https://api.github.com/users/cos/orgs","repos_url":"https://api.github.com/users/cos/repos","events_url":"https://api.github.com/users/cos/events{/privacy}","received_events_url":"https://api.github.com/users/cos/received_events","type":"User","site_admin":false},"milestone":null,"comments":0,"created_at":"2015-08-21T18:04:46Z","updated_at":"2015-08-21T18:04:46Z","closed_at":null,"body":"```\r\nD:\\github\\kframework\\k>mvn package\r\n[INFO] Scanning for projects...\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] Reactor Build Order:\r\n[INFO]\r\n[INFO] K Framework Tool Parent\r\n[INFO] K Framework KORE\r\n[INFO] K Framework tiny rewriter\r\n[INFO] K Framework Tool Kernel\r\n[INFO] K Framework Java Backend\r\n[INFO] K Framework Ocaml Backend\r\n[INFO] K Framework Coq Backend\r\n[INFO] K Framework SDF Backend\r\n[INFO] K Framework Tool Distribution\r\n[INFO]\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] Building K Framework Tool Parent 3.6-SNAPSHOT\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO]\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] Building K Framework KORE 3.6-SNAPSHOT\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ kore ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] skip non existing resourceDirectory D:\\github\\kframework\\k\\kore\\src\\main\\\r\nresources\r\n[INFO]\r\n[INFO] --- scala-maven-plugin:3.2.0:add-source (scala-compile-first) @ kore ---\r\n[INFO] Add Source directory: D:\\github\\kframework\\k\\kore\\src\\main\\scala\r\n[INFO] Add Test Source directory: D:\\github\\kframework\\k\\kore\\src\\test\\scala\r\n[INFO]\r\n[INFO] --- scala-maven-plugin:3.2.0:compile (scala-compile-first) @ kore ---\r\n[WARNING]  Expected all dependencies to require Scala version: 2.11.6\r\n[WARNING]  org.kframework.k:kore:3.6-SNAPSHOT requires scala version: 2.11.6\r\n[WARNING]  org.scala-lang.modules:scala-java8-compat_2.11:0.3.0 requires scala v\r\nersion: 2.11.5\r\n[WARNING] Multiple versions of scala libraries detected!\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ kore ---\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ ko\r\nre ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] skip non existing resourceDirectory D:\\github\\kframework\\k\\kore\\src\\test\\\r\nresources\r\n[INFO]\r\n[INFO] --- scala-maven-plugin:3.2.0:testCompile (scala-test-compile) @ kore ---\r\n[WARNING]  Expected all dependencies to require Scala version: 2.11.6\r\n[WARNING]  org.kframework.k:kore:3.6-SNAPSHOT requires scala version: 2.11.6\r\n[WARNING]  org.scala-lang.modules:scala-java8-compat_2.11:0.3.0 requires scala v\r\nersion: 2.11.5\r\n[WARNING] Multiple versions of scala libraries detected!\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ kore --\r\n-\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-surefire-plugin:2.12.4:test (default-test) @ kore ---\r\n[INFO] Surefire report directory: D:\\github\\kframework\\k\\kore\\target\\surefire-re\r\nports\r\n\r\n-------------------------------------------------------\r\n T E S T S\r\n-------------------------------------------------------\r\nRunning org.kframework.attributes.AttTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.087 sec\r\nRunning org.kframework.CollectionsTest\r\nTests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.125 sec\r\nRunning org.kframework.definition.VisitorTest\r\n7285\r\n7321\r\n173318\r\nTests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.203 sec\r\nRunning org.kframework.kore.InterfaceTest\r\nTests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.032 sec\r\nRunning org.kframework.kore.UnparseTest\r\nTests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.047 sec\r\nRunning org.kframework.kore.VisitorTest\r\nTests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec\r\nRunning org.kframework.meta.ReflectionTest\r\nTests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.218 sec\r\nRunning org.kframework.POSetTest\r\nTests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.032 sec\r\nRunning org.kframework.tinyimplementation.TestMeta\r\nAtt(token(#token(\"abc\",KString)))\r\nTests run: 9, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.259 sec\r\n\r\nResults :\r\n\r\nTests run: 57, Failures: 0, Errors: 0, Skipped: 1\r\n\r\n[INFO]\r\n[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ kore ---\r\n[INFO]\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] Building K Framework tiny rewriter 3.6-SNAPSHOT\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ tiny ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] skip non existing resourceDirectory D:\\github\\kframework\\k\\tiny\\src\\main\\\r\nresources\r\n[INFO]\r\n[INFO] --- scala-maven-plugin:3.2.0:add-source (scala-compile-first) @ tiny ---\r\n[INFO] Add Source directory: D:\\github\\kframework\\k\\tiny\\src\\main\\scala\r\n[INFO] Add Test Source directory: D:\\github\\kframework\\k\\tiny\\src\\test\\scala\r\n[INFO]\r\n[INFO] --- scala-maven-plugin:3.2.0:compile (scala-compile-first) @ tiny ---\r\n[WARNING]  Expected all dependencies to require Scala version: 2.11.6\r\n[WARNING]  org.kframework.k:kore:3.6-SNAPSHOT requires scala version: 2.11.6\r\n[WARNING]  io.github.nicolasstucki:multisets_2.11:0.2 requires scala version: 2.\r\n11.4\r\n[WARNING] Multiple versions of scala libraries detected!\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ tiny ---\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ ti\r\nny ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] skip non existing resourceDirectory D:\\github\\kframework\\k\\tiny\\src\\test\\\r\nresources\r\n[INFO]\r\n[INFO] --- scala-maven-plugin:3.2.0:testCompile (scala-test-compile) @ tiny ---\r\n[WARNING]  Expected all dependencies to require Scala version: 2.11.6\r\n[WARNING]  org.kframework.k:kore:3.6-SNAPSHOT requires scala version: 2.11.6\r\n[WARNING]  io.github.nicolasstucki:multisets_2.11:0.2 requires scala version: 2.\r\n11.4\r\n[WARNING] Multiple versions of scala libraries detected!\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ tiny --\r\n-\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-surefire-plugin:2.12.4:test (default-test) @ tiny ---\r\n[INFO] Surefire report directory: D:\\github\\kframework\\k\\tiny\\target\\surefire-re\r\nports\r\n\r\n-------------------------------------------------------\r\n T E S T S\r\n-------------------------------------------------------\r\nRunning org.kframework.tiny.LogicTest\r\nTests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.704 sec\r\nRunning org.kframework.tiny.matcher.MatcherTest\r\nTests run: 35, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 1.813 sec\r\nRunning org.kframework.tiny.TestRewriting\r\nTests run: 30, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.185 sec\r\nRunning org.kframework.tinytest.ADTTest\r\nTests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.031 sec\r\n\r\nResults :\r\n\r\nTests run: 69, Failures: 0, Errors: 0, Skipped: 6\r\n\r\n[INFO]\r\n[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ tiny ---\r\n[INFO]\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] Building K Framework Tool Kernel 3.6-SNAPSHOT\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO]\r\n[INFO] --- buildnumber-maven-plugin:1.3:create (default) @ kernel ---\r\n[INFO] ShortRevision tag detected. The value is '7'.\r\n[INFO] Executing: cmd.exe /X /C \"git rev-parse --verify --short=7 HEAD\"\r\n[INFO] Working directory: D:\\github\\kframework\\k\\kernel\r\n[INFO] Storing buildNumber: null at timestamp: 1440159179400\r\n[WARNING] Cannot get the branch information from the git repository:\r\nDetecting the current branch failed: 'git' is not recognized as an internal or e\r\nxternal command,\r\noperable program or batch file.\r\n\r\n[INFO] ShortRevision tag detected. The value is '7'.\r\n[INFO] Executing: cmd.exe /X /C \"git rev-parse --verify --short=7 HEAD\"\r\n[INFO] Working directory: D:\\github\\kframework\\k\\kernel\r\n[INFO] Storing buildScmBranch: UNKNOWN_BRANCH\r\n[INFO]\r\n[INFO] --- javacc-maven-plugin:2.6:javacc (javacc) @ kernel ---\r\n[INFO] Skipping - all parsers are up to date\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ kernel ---\r\n\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] Copying 4 resources\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ kernel ---\r\n[INFO] Changes detected - recompiling the module!\r\n[INFO] Compiling 520 source files to D:\\github\\kframework\\k\\kernel\\target\\classe\r\ns\r\n[WARNING] /D:/github/kframework/k/kernel/src/main/java/org/kframework/kil/loader\r\n/JavaClassesFactory.java: Some input files use or override a deprecated API.\r\n[WARNING] /D:/github/kframework/k/kernel/src/main/java/org/kframework/kil/loader\r\n/JavaClassesFactory.java: Recompile with -Xlint:deprecation for details.\r\n[WARNING] /D:/github/kframework/k/kernel/src/main/java/org/kframework/kil/ASTNod\r\ne.java: Some input files use unchecked or unsafe operations.\r\n[WARNING] /D:/github/kframework/k/kernel/src/main/java/org/kframework/kil/ASTNod\r\ne.java: Recompile with -Xlint:unchecked for details.\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ ke\r\nrnel ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] Copying 6 resources\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ kernel\r\n---\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-surefire-plugin:2.17:test (default-test) @ kernel ---\r\n[INFO] Surefire report directory: D:\\github\\kframework\\k\\kernel\\target\\surefire-\r\nreports\r\n\r\n-------------------------------------------------------\r\n T E S T S\r\n-------------------------------------------------------\r\nRunning org.kframework.backend.kore.ToKAppTransformerTest\r\nTests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.547 sec - in o\r\nrg.kframework.backend.kore.ToKAppTransformerTest\r\nRunning org.kframework.backend.unparser.UnparserFilterNewTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.016 sec - in o\r\nrg.kframework.backend.unparser.UnparserFilterNewTest\r\nRunning org.kframework.compile.utils.CompileDataStructuresTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.156 sec - in o\r\nrg.kframework.compile.utils.CompileDataStructuresTest\r\nRunning org.kframework.kast.KastModuleTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.656 sec - in o\r\nrg.kframework.kast.KastModuleTest\r\nRunning org.kframework.kdoc.KDocModuleTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.078 sec - in o\r\nrg.kframework.kdoc.KDocModuleTest\r\nRunning org.kframework.kil.ListBuiltinTest\r\nTests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.k\r\nframework.kil.ListBuiltinTest\r\nRunning org.kframework.kompile.KompileFrontEndTest\r\nTests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.071 sec - in o\r\nrg.kframework.kompile.KompileFrontEndTest\r\nRunning org.kframework.kompile.KompileModuleTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.076 sec - in o\r\nrg.kframework.kompile.KompileModuleTest\r\nRunning org.kframework.kompile.KompileOptionsTest\r\nTests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.024 sec - in o\r\nrg.kframework.kompile.KompileOptionsTest\r\nRunning org.kframework.kore.compile.AddParentsCellsTest\r\nTests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.374 sec - in\r\norg.kframework.kore.compile.AddParentsCellsTest\r\nRunning org.kframework.kore.compile.CloseCellsTest\r\nTests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.023 sec - in o\r\nrg.kframework.kore.compile.CloseCellsTest\r\nRunning org.kframework.kore.compile.GenerateSentencesFromConfigDeclTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.408 sec - in o\r\nrg.kframework.kore.compile.GenerateSentencesFromConfigDeclTest\r\nRunning org.kframework.kore.compile.SortCellsTest\r\nTests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.06 sec - in o\r\nrg.kframework.kore.compile.SortCellsTest\r\nRunning org.kframework.krun.ioserver.filesystem.portable.PortableFileSystemTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec - in o\r\nrg.kframework.krun.ioserver.filesystem.portable.PortableFileSystemTest\r\nRunning org.kframework.krun.KRunFrontEndTest\r\nTests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.k\r\nframework.krun.KRunFrontEndTest\r\nRunning org.kframework.krun.KRunOptionsTest\r\nTests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 sec - in o\r\nrg.kframework.krun.KRunOptionsTest\r\nRunning org.kframework.ktest.KTestModuleTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.041 sec - in o\r\nrg.kframework.ktest.KTestModuleTest\r\nRunning org.kframework.parser.concrete.disambiguate.VariableWarningTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.013 sec - in o\r\nrg.kframework.parser.concrete.disambiguate.VariableWarningTest\r\nRunning org.kframework.parser.concrete2kore.disambiguation.PriorityAssocTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.257 sec - in o\r\nrg.kframework.parser.concrete2kore.disambiguation.PriorityAssocTest\r\nRunning org.kframework.parser.concrete2kore.disambiguation.TreeCleanerVisitorTes\r\nt\r\nTests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.015 sec - in o\r\nrg.kframework.parser.concrete2kore.disambiguation.TreeCleanerVisitorTest\r\nRunning org.kframework.parser.concrete2kore.kernel.ParserTest\r\nTests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.031 sec - in\r\norg.kframework.parser.concrete2kore.kernel.ParserTest\r\nRunning org.kframework.parser.concrete2kore.RuleGrammarTest\r\ntrue\r\nTests run: 21, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 5.014 sec - in\r\norg.kframework.parser.concrete2kore.RuleGrammarTest\r\nRunning org.kframework.parser.outer.NewOuterParserTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.11 sec - in or\r\ng.kframework.parser.outer.NewOuterParserTest\r\nRunning org.kframework.unparser.AddBracketsTest\r\nTests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.125 sec - in o\r\nrg.kframework.unparser.AddBracketsTest\r\nRunning org.kframework.utils.ColorUtilTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.031 sec - in o\r\nrg.kframework.utils.ColorUtilTest\r\nRunning org.kframework.utils.inject.DefinitionLoadingModuleTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.016 sec - in o\r\nrg.kframework.utils.inject.DefinitionLoadingModuleTest\r\nRunning org.kframework.utils.kastparser.KastParserTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.016 sec - in o\r\nrg.kframework.utils.kastparser.KastParserTest\r\nRunning org.kframework.utils.PosetTest\r\nTests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.k\r\nframework.utils.PosetTest\r\nRunning org.kframework.utils.StringUtilTest\r\nTests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.016 sec - in o\r\nrg.kframework.utils.StringUtilTest\r\n\r\nResults :\r\n\r\nTests run: 126, Failures: 0, Errors: 0, Skipped: 0\r\n\r\n[INFO]\r\n[INFO] --- maven-jar-plugin:2.5:jar (default-jar) @ kernel ---\r\n[INFO] Building jar: D:\\github\\kframework\\k\\kernel\\target\\kernel-3.6-SNAPSHOT.ja\r\nr\r\n[INFO]\r\n[INFO] --- maven-jar-plugin:2.5:test-jar (default) @ kernel ---\r\n[INFO]\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] Building K Framework Java Backend 3.6-SNAPSHOT\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO]\r\n[INFO] --- maven-dependency-plugin:2.8:copy-dependencies (copy-native-dependenci\r\nes) @ java-backend ---\r\n[INFO] Copying msvcp100-10.0-64.dll to D:\\github\\kframework\\k\\java-backend\\targe\r\nt\\lib\\native\\msvcp100.dll\r\n[INFO] Copying z3java-4.3.2-bb56885147e4-windows64.dll to D:\\github\\kframework\\k\r\n\\java-backend\\target\\lib\\native\\z3java.dll\r\n[INFO] Copying libz3-4.3.2-bb56885147e4-windows64.dll to D:\\github\\kframework\\k\\\r\njava-backend\\target\\lib\\native\\libz3.dll\r\n[INFO] Copying msvcr100-10.0-64.dll to D:\\github\\kframework\\k\\java-backend\\targe\r\nt\\lib\\native\\msvcr100.dll\r\n[INFO] Copying vcomp100-10.0-64.dll to D:\\github\\kframework\\k\\java-backend\\targe\r\nt\\lib\\native\\vcomp100.dll\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ java-backe\r\nnd ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] Copying 2 resources\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ java-backend --\r\n-\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ ja\r\nva-backend ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] skip non existing resourceDirectory D:\\github\\kframework\\k\\java-backend\\s\r\nrc\\test\\resources\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ java-ba\r\nckend ---\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-surefire-plugin:2.17:test (default-test) @ java-backend ---\r\n[INFO] Surefire report directory: D:\\github\\kframework\\k\\java-backend\\target\\sur\r\nefire-reports\r\n\r\n-------------------------------------------------------\r\n T E S T S\r\n-------------------------------------------------------\r\nRunning org.kframework.backend.java.builtins.BuiltinFloatOperationsTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.734 sec - in o\r\nrg.kframework.backend.java.builtins.BuiltinFloatOperationsTest\r\nRunning org.kframework.backend.java.kil.BuiltinListTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.078 sec - in o\r\nrg.kframework.backend.java.kil.BuiltinListTest\r\nRunning org.kframework.backend.java.kil.BuiltinMapTest\r\nTests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.094 sec - in o\r\nrg.kframework.backend.java.kil.BuiltinMapTest\r\nRunning org.kframework.backend.java.kil.JavaSymbolicObjectTest\r\nTests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.594 sec - in o\r\nrg.kframework.backend.java.kil.JavaSymbolicObjectTest\r\nRunning org.kframework.backend.java.symbolic.JavaSymbolicKRunModuleTest\r\nTests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.194 sec - in o\r\nrg.kframework.backend.java.symbolic.JavaSymbolicKRunModuleTest\r\nRunning org.kframework.backend.java.symbolic.UseSMTTest\r\nC:\\Program Files\\Java\\jdk1.8.0_51\\jre\\bin;C:\\WINDOWS\\Sun\\Java\\bin;C:\\WINDOWS\\sys\r\ntem32;C:\\WINDOWS;C:\\ProgramData\\Oracle\\Java\\javapath;C:\\Program Files (x86)\\Inte\r\nl\\iCLS Client\\;C:\\Program Files\\Intel\\iCLS Client\\;C:\\WINDOWS\\system32;C:\\WINDOW\r\nS;C:\\WINDOWS\\System32\\Wbem;C:\\WINDOWS\\System32\\WindowsPowerShell\\v1.0\\;C:\\Progra\r\nm Files\\Intel\\Intel(R) Management Engine Components\\DAL;C:\\Program Files (x86)\\I\r\nntel\\Intel(R) Management Engine Components\\DAL;C:\\Program Files\\Intel\\Intel(R) M\r\nanagement Engine Components\\IPT;C:\\Program Files (x86)\\Intel\\Intel(R) Management\r\n Engine Components\\IPT;C:\\Program Files\\Intel\\WiFi\\bin\\;C:\\Program Files\\Common\r\nFiles\\Intel\\WirelessCommon\\;C:\\Program Files\\TortoiseGit\\bin;C:\\Program Files\\Ja\r\nva\\jdk1.8.0_51\\bin;C:\\Program Files\\apache-maven-3.3.3\\bin;D:\\github\\kframework\\\r\nk\\k-distribution\\target\\release\\k\\bin;D:\\github\\kframework\\k\\java-backend\\target\r\n/lib/native;.\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.141 sec - in o\r\nrg.kframework.backend.java.symbolic.UseSMTTest\r\nRunning org.kframework.backend.java.util.ConjunctionDisjunctionTest\r\nTests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.031 sec - in o\r\nrg.kframework.backend.java.util.ConjunctionDisjunctionTest\r\n\r\nResults :\r\n\r\nTests run: 13, Failures: 0, Errors: 0, Skipped: 0\r\n\r\n[INFO]\r\n[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ java-backend ---\r\n[INFO]\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] Building K Framework Ocaml Backend 3.6-SNAPSHOT\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ ocaml-back\r\nend ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] Copying 1 resource\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ ocaml-backend -\r\n--\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ oc\r\naml-backend ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] skip non existing resourceDirectory D:\\github\\kframework\\k\\ocaml-backend\\\r\nsrc\\test\\resources\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ ocaml-b\r\nackend ---\r\n[INFO] No sources to compile\r\n[INFO]\r\n[INFO] --- maven-surefire-plugin:2.17:test (default-test) @ ocaml-backend ---\r\n[INFO] No tests to run.\r\n[INFO]\r\n[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ ocaml-backend ---\r\n[INFO]\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] Building K Framework Coq Backend 3.6-SNAPSHOT\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ coq-backen\r\nd ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] Copying 1 resource\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ coq-backend ---\r\n\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ co\r\nq-backend ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] skip non existing resourceDirectory D:\\github\\kframework\\k\\coq-backend\\sr\r\nc\\test\\resources\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ coq-bac\r\nkend ---\r\n[INFO] No sources to compile\r\n[INFO]\r\n[INFO] --- maven-surefire-plugin:2.17:test (default-test) @ coq-backend ---\r\n[INFO] No tests to run.\r\n[INFO]\r\n[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ coq-backend ---\r\n[INFO]\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] Building K Framework SDF Backend 3.6-SNAPSHOT\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO]\r\n[INFO] --- maven-dependency-plugin:2.8:copy (copy-build-dependencies) @ sdf-pars\r\ner ---\r\n[INFO] Configured Artifact: org.kframework.dependencies:sdf2table:windows:1.0:ex\r\ne\r\n[INFO] Configured Artifact: org.kframework.dependencies:implodePT:windows:1.0:ex\r\ne\r\n[INFO] org.kframework.dependencies:sdf2table:windows:1.0:exe already exists in D\r\n:\\github\\kframework\\k\\sdf-parser\\target\\sdf\\bin\r\n[INFO] org.kframework.dependencies:implodePT:windows:1.0:exe already exists in D\r\n:\\github\\kframework\\k\\sdf-parser\\target\\sdf\\bin\r\n[INFO]\r\n[INFO] --- maven-dependency-plugin:2.8:copy-dependencies (copy-windows-dependenc\r\nies) @ sdf-parser ---\r\n[INFO] cygwin1-1.0.dll already exists in destination.\r\n[INFO]\r\n[INFO] --- maven-antrun-plugin:1.7:run (generate-sdf) @ sdf-parser ---\r\n[INFO] Executing tasks\r\n\r\nmain:\r\n\r\nconcrete.signature:\r\n\r\nconcrete.signature.helper:\r\n\r\nall.signature:\r\n\r\nconcrete.stratego2java:\r\n\r\nconcrete.stratego2java.helper:\r\n\r\nall.stratego2java:\r\n[INFO] Executed tasks\r\n[INFO]\r\n[INFO] --- build-helper-maven-plugin:1.9:add-source (add-source) @ sdf-parser --\r\n-\r\n[INFO] Source directory: D:\\github\\kframework\\k\\sdf-parser\\target\\generated-sour\r\nces\\sdf added.\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ sdf-parser\r\n ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] Copying 6 resources\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ sdf-parser ---\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ sd\r\nf-parser ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] skip non existing resourceDirectory D:\\github\\kframework\\k\\sdf-parser\\src\r\n\\test\\resources\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ sdf-par\r\nser ---\r\n[INFO] No sources to compile\r\n[INFO]\r\n[INFO] --- maven-surefire-plugin:2.12.4:test (default-test) @ sdf-parser ---\r\n[INFO] No tests to run.\r\n[INFO]\r\n[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ sdf-parser ---\r\n[INFO]\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] Building K Framework Tool Distribution 3.6-SNAPSHOT\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO]\r\n[INFO] --- maven-dependency-plugin:2.8:unpack-dependencies (unpack-zip-dependenc\r\nies) @ k-distribution ---\r\n[INFO]\r\n[INFO] --- maven-dependency-plugin:2.8:copy-dependencies (copy-windows-dependenc\r\nies) @ k-distribution ---\r\n[INFO] cygwin1-1.0.dll already exists in destination.\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ k-distribu\r\ntion ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] skip non existing resourceDirectory D:\\github\\kframework\\k\\k-distribution\r\n\\src\\main\\resources\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:compile (default-compile) @ k-distribution\r\n---\r\n[INFO] No sources to compile\r\n[INFO]\r\n[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ k-\r\ndistribution ---\r\n[INFO] Using 'UTF-8' encoding to copy filtered resources.\r\n[INFO] Copying 58 resources\r\n[INFO]\r\n[INFO] --- maven-compiler-plugin:3.1:testCompile (default-testCompile) @ k-distr\r\nibution ---\r\n[INFO] Nothing to compile - all classes are up to date\r\n[INFO]\r\n[INFO] --- maven-surefire-plugin:2.12.4:test (default-test) @ k-distribution ---\r\n\r\n[INFO] Surefire report directory: D:\\github\\kframework\\k\\k-distribution\\target\\s\r\nurefire-reports\r\n\r\n-------------------------------------------------------\r\n T E S T S\r\n-------------------------------------------------------\r\nRunning org.kframework.kore.convertors.TestParserOnKORE\r\nTests run: 1, Failures: 1, Errors: 0, Skipped: 0, Time elapsed: 1.51 sec <<< FAI\r\nLURE!\r\nsimpleRuleKORE(org.kframework.kore.convertors.TestParserOnKORE)  Time elapsed: 0\r\n.963 sec  <<< FAILURE!\r\norg.junit.ComparisonFailure: expected:<...) Source(#token(\"src[/test/resources/c\r\nonvertor-tests/simpleRuleKORE.k\",KString))]\r\n  syntax Exp [Location(#token(\"4\",Int),#token(\"3\",Int),#token(\"4\",Int),#token(\"1\r\n2\",Int)) Source(#token(\"src/test/resources/convertor-tests/simpleRuleKORE.k\",KSt\r\nring))]\r\n  rule #KRewrite(#token(\"A\",KVariable),#token(\"B\",KVariable)) requires null ensu\r\nres null [Location(#token(\"5\",Int),#token(\"3\",Int),#token(\"5\",Int),#token(\"13\",I\r\nnt)) Source(#token(\"src/test/resources/convertor-tests/]simpleRuleKORE.k\",KS...>\r\n but was:<...) Source(#token(\"src[\\\\test\\\\resources\\\\convertor-tests\\\\simpleRule\r\nKORE.k\",KString))]\r\n  syntax Exp [Location(#token(\"4\",Int),#token(\"3\",Int),#token(\"4\",Int),#token(\"1\r\n2\",Int)) Source(#token(\"src\\\\test\\\\resources\\\\convertor-tests\\\\simpleRuleKORE.k\"\r\n,KString))]\r\n  rule #KRewrite(#token(\"A\",KVariable),#token(\"B\",KVariable)) requires null ensu\r\nres null [Location(#token(\"5\",Int),#token(\"3\",Int),#token(\"5\",Int),#token(\"13\",I\r\nnt)) Source(#token(\"src\\\\test\\\\resources\\\\convertor-tests\\\\]simpleRuleKORE.k\",KS\r\n...>\r\n        at org.junit.Assert.assertEquals(Assert.java:115)\r\n        at org.junit.Assert.assertEquals(Assert.java:144)\r\n        at org.kframework.kore.convertors.BaseTest.testConversion(BaseTest.java:\r\n82)\r\n        at org.kframework.kore.convertors.BaseTest.outerOnlyTest(BaseTest.java:3\r\n3)\r\n        at org.kframework.kore.convertors.TestParserOnKORE.simpleRuleKORE(TestPa\r\nrserOnKORE.java:28)\r\n        at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)\r\n        at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.\r\njava:62)\r\n        at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAcces\r\nsorImpl.java:43)\r\n        at java.lang.reflect.Method.invoke(Method.java:497)\r\n        at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(Framework\r\nMethod.java:47)\r\n        at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCal\r\nlable.java:12)\r\n        at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMe\r\nthod.java:44)\r\n        at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMet\r\nhod.java:17)\r\n        at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.\r\njava:26)\r\n        at org.junit.rules.TestWatcher$1.evaluate(TestWatcher.java:55)\r\n        at org.junit.rules.RunRules.evaluate(RunRules.java:20)\r\n        at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:271)\r\n        at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRun\r\nner.java:70)\r\n        at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRun\r\nner.java:50)\r\n        at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)\r\n        at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)\r\n        at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)\r\n        at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)\r\n        at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)\r\n        at org.junit.runners.ParentRunner.run(ParentRunner.java:309)\r\n        at org.mockito.internal.runners.JUnit45AndHigherRunnerImpl.run(JUnit45An\r\ndHigherRunnerImpl.java:37)\r\n        at org.mockito.runners.MockitoJUnitRunner.run(MockitoJUnitRunner.java:62\r\n)\r\n        at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provide\r\nr.java:252)\r\n        at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4\r\nProvider.java:141)\r\n        at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider\r\n.java:112)\r\n        at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)\r\n        at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.\r\njava:62)\r\n        at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAcces\r\nsorImpl.java:43)\r\n        at java.lang.reflect.Method.invoke(Method.java:497)\r\n        at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray(\r\nReflectionUtils.java:189)\r\n        at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke\r\n(ProviderFactory.java:165)\r\n        at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(Provi\r\nderFactory.java:85)\r\n        at org.apache.maven.surefire.booter.ForkedBooter.runSuitesInProcess(Fork\r\nedBooter.java:115)\r\n        at org.apache.maven.surefire.booter.ForkedBooter.main(ForkedBooter.java:\r\n75)\r\n\r\nRunning org.kframework.kore.KoreDefinitionTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.686 sec\r\nRunning org.kframework.parser.outer.EKoreToKoreTest\r\nTests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.016 sec\r\n\r\nResults :\r\n\r\nFailed tests:   simpleRuleKORE(org.kframework.kore.convertors.TestParserOnKORE):\r\n expected:<...) Source(#token(\"src[/test/resources/convertor-tests/simpleRuleKOR\r\nE.k\",KString))](..)\r\n\r\nTests run: 3, Failures: 1, Errors: 0, Skipped: 1\r\n\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] Reactor Summary:\r\n[INFO]\r\n[INFO] K Framework Tool Parent ............................ SUCCESS [  0.103 s]\r\n[INFO] K Framework KORE ................................... SUCCESS [  6.897 s]\r\n[INFO] K Framework tiny rewriter .......................... SUCCESS [  3.921 s]\r\n[INFO] K Framework Tool Kernel ............................ SUCCESS [ 42.512 s]\r\n[INFO] K Framework Java Backend ........................... SUCCESS [  6.651 s]\r\n[INFO] K Framework Ocaml Backend .......................... SUCCESS [  0.197 s]\r\n[INFO] K Framework Coq Backend ............................ SUCCESS [  0.130 s]\r\n[INFO] K Framework SDF Backend ............................ SUCCESS [  1.525 s]\r\n[INFO] K Framework Tool Distribution ...................... FAILURE [  4.162 s]\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] BUILD FAILURE\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] Total time: 01:06 min\r\n[INFO] Finished at: 2015-08-21T07:13:53-05:00\r\n[INFO] Final Memory: 46M/786M\r\n[INFO] ------------------------------------------------------------------------\r\n[ERROR] Failed to execute goal org.apache.maven.plugins:maven-surefire-plugin:2.\r\n12.4:test (default-test) on project k-distribution: There are test failures.\r\n[ERROR]\r\n[ERROR] Please refer to D:\\github\\kframework\\k\\k-distribution\\target\\surefire-re\r\nports for the individual test results.\r\n[ERROR] -> [Help 1]\r\n[ERROR]\r\n[ERROR] To see the full stack trace of the errors, re-run Maven with the -e swit\r\nch.\r\n[ERROR] Re-run Maven using the -X switch to enable full debug logging.\r\n[ERROR]\r\n[ERROR] For more information about the errors and possible solutions, please rea\r\nd the following articles:\r\n[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureExc\r\neption\r\n[ERROR]\r\n[ERROR] After correcting the problems, you can resume the build with the command\r\n\r\n[ERROR]   mvn <goals> -rf :k-distribution\r\n\r\nD:\\github\\kframework\\k>\r\n```\r\n\r\nIt appears to be an issue with paths that have \\ versus /."}}