{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/k/issues/1309","labels_url":"https://api.github.com/repos/kframework/k/issues/1309/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/1309/comments","events_url":"https://api.github.com/repos/kframework/k/issues/1309/events","html_url":"https://github.com/kframework/k/issues/1309","id":55385154,"number":1309,"title":"src/README.md issues","user":{"login":"grosu","id":3733729,"avatar_url":"https://avatars.githubusercontent.com/u/3733729?v=3","gravatar_id":"","url":"https://api.github.com/users/grosu","html_url":"https://github.com/grosu","followers_url":"https://api.github.com/users/grosu/followers","following_url":"https://api.github.com/users/grosu/following{/other_user}","gists_url":"https://api.github.com/users/grosu/gists{/gist_id}","starred_url":"https://api.github.com/users/grosu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/grosu/subscriptions","organizations_url":"https://api.github.com/users/grosu/orgs","repos_url":"https://api.github.com/users/grosu/repos","events_url":"https://api.github.com/users/grosu/events{/privacy}","received_events_url":"https://api.github.com/users/grosu/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/kframework/k/labels/bug","name":"bug","color":"fc2929"},{"url":"https://api.github.com/repos/kframework/k/labels/enhancement","name":"enhancement","color":"84b6eb"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":7,"created_at":"2015-01-24T21:19:29Z","updated_at":"2015-01-27T20:48:10Z","closed_at":null,"body":"I'm following blindly the instructions under src/README.md and I encountered some problems, which I report below.  Please fix ASAP, because in my experience several cs422 students will install from sources.\r\n\r\nIn github, the first link, to JDK8, is broken (i.e., clicking on it gets you to an error page).  Copying and pasting the URL in browser gets me to a page with trivial instructions on how to install JDK8, but with no JDK8 to download in order to install.  Maybe I'm missing something, but that does not seem to be the right page.  Typing jdk8 in google took to the right place.\r\n\r\nMaven section: Not sure whether any specific version of `maven` is needed; I had one installed on my Windows machine, so I just continued.  It would be good to probably also require a certain version of maven if needed.\r\n\r\nGit section: It say that you can test it by typing `mvn -version`?  I think that line belongs to the previous section, on Maven.\r\n\r\nInstall section: It starts with `Checkout this directory in your desired location...`.  You mean `repository` instead of `directory` probably, because the current directory is actually `/src`.  I typed `mvn package` and after 2 min and 22 sec I got the following failure:\r\n\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.075 sec <<< FAILURE!\r\nsimpleRuleKORE(org.kframework.kore.convertors.TestParserOnKORE)  Time elapsed: 0.632 sec  <<< FAILURE!\r\norg.junit.ComparisonFailure: expected:<...n(#token(Int,\"9\")))][\r\n  syntax Exp [location(startLine(#token(Int,\"4\")),startColumn(#token(Int,\"3\")),endLine(#token(Int,\"4\")),endColumn(#toke\r\n(Int,\"12\")))]\r\n  rule #KRewrite(#token(KVariable,\"A\") [location(startLine(#token(Int,\"1\")),startColumn(#token(Int,\"1\")),endLine(#token\r\nInt,\"1\")),endColumn(#token(Int,\"3\")))],#token(KVariable,\"B\") [location(startLine(#token(Int,\"1\")),startColumn(#token(In\r\n,\"6\")),endLine(#token(Int,\"1\")),endColumn(#token(Int,\"7\")))]) [location(startLine(#token(Int,\"1\")),startColumn(#token(I\r\nt,\"1\")),endLine(#token(Int,\"1\")),endColumn(#token(Int,\"7\")))] requires null ensures null [location(startLine(#token(Int\r\n]5\")),startColumn(#token(Int,\"3\")),endLine(#token(Int,\"5\")),endColumn(#token(Int,\"13\")))]\r\nendmodule> but was:<...n(#token(Int,\"9\")))][\r\n  syntax Exp [location(startLine(#token(Int,\"4\")),startColumn(#token(Int,\"3\")),endLine(#token(Int,\"4\")),endColumn(#toke\r\n(Int,\"12\")))]\r\n  rule #KRewrite(#token(KVariable,\"A\") [location(startLine(#token(Int,\"1\")),startColumn(#token(Int,\"1\")),endLine(#token\r\nInt,\"1\")),endColumn(#token(Int,\"3\")))],#token(KVariable,\"B\") [location(startLine(#token(Int,\"1\")),startColumn(#token(In\r\n,\"6\")),endLine(#token(Int,\"1\")),endColumn(#token(Int,\"7\")))]) [location(startLine(#token(Int,\"1\")),startColumn(#token(I\r\nt,\"1\")),endLine(#token(Int,\"1\")),endColumn(#token(Int,\"7\")))] requires null ensures null [location(startLine(#token(Int\r\n\"5\")),startColumn(#token(Int,\"3\")),endLine(#token(Int,\"5\")),endColumn(#token(Int,\"13\")))]]\r\nendmodule>\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:75)\r\n        at org.kframework.kore.convertors.BaseTest.outerOnlyTest(BaseTest.java:34)\r\n        at org.kframework.kore.convertors.TestParserOnKORE.simpleRuleKORE(TestParserOnKORE.java:28)\r\n        at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)\r\n        at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)\r\n        at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)\r\n        at java.lang.reflect.Method.invoke(Method.java:483)\r\n        at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:47)\r\n        at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12)\r\n        at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:44)\r\n        at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17)\r\n        at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java: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(BlockJUnit4ClassRunner.java:70)\r\n        at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.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(JUnit45AndHigherRunnerImpl.java:37)\r\n        at org.mockito.runners.MockitoJUnitRunner.run(MockitoJUnitRunner.java:62)\r\n        at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:252)\r\n        at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:141)\r\n        at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:112)\r\n        at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)\r\n        at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)\r\n        at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)\r\n        at java.lang.reflect.Method.invoke(Method.java:483)\r\n        at org.apache.maven.surefire.util.ReflectionUtils.invokeMethodWithArray(ReflectionUtils.java:189)\r\n        at org.apache.maven.surefire.booter.ProviderFactory$ProviderProxy.invoke(ProviderFactory.java:165)\r\n        at org.apache.maven.surefire.booter.ProviderFactory.invokeProvider(ProviderFactory.java:85)\r\n        at org.apache.maven.surefire.booter.ForkedBooter.runSuitesInProcess(ForkedBooter.java:115)\r\n        at org.apache.maven.surefire.booter.ForkedBooter.main(ForkedBooter.java:75)\r\n\r\n\r\nResults :\r\n\r\n(..)ed tests:   simpleRuleKORE(org.kframework.kore.convertors.TestParserOnKORE): expected:<...n(#token(Int,\"9\")))][\r\n\r\nTests run: 1, Failures: 1, Errors: 0, Skipped: 0\r\n\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] Reactor Summary:\r\n[INFO]\r\n[INFO] K Framework Tool Parent ............................ SUCCESS [  1.746 s]\r\n[INFO] K Framework KORE ................................... SUCCESS [ 48.549 s]\r\n[INFO] K Framework Tool Kernel ............................ SUCCESS [ 33.986 s]\r\n[INFO] K Framework Java Backend ........................... SUCCESS [ 24.808 s]\r\n[INFO] K Framework SDF Backend ............................ SUCCESS [ 30.742 s]\r\n[INFO] K Framework Tool Distribution ...................... FAILURE [  2.253 s]\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] BUILD FAILURE\r\n[INFO] ------------------------------------------------------------------------\r\n[INFO] Total time: 02:22 min\r\n[INFO] Finished at: 2015-01-24T15:11:17-06:00\r\n[INFO] Final Memory: 50M/650M\r\n[INFO] ------------------------------------------------------------------------\r\n[ERROR] Failed to execute goal org.apache.maven.plugins:maven-surefire-plugin:2.12.4:test (default-test) on project k-d\r\nstribution: There are test failures.\r\n[ERROR]\r\n[ERROR] Please refer to D:\\github.grosu-ssh\\grosu\\k\\k-distribution\\target\\surefire-reports for the individual test resu\r\nts.\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 switch.\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 read the following articles:\r\n[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException\r\n[ERROR]\r\n[ERROR] After correcting the problems, you can resume the build with the command\r\n[ERROR]   mvn <goals> -rf :k-distribution\r\nD:\\github.grosu-ssh\\grosu\\k>\r\n```\r\n\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/kframework/k/issues/comments/71724764","html_url":"https://github.com/kframework/k/issues/1309#issuecomment-71724764","issue_url":"https://api.github.com/repos/kframework/k/issues/1309","id":71724764,"user":{"login":"grosu","id":3733729,"avatar_url":"https://avatars.githubusercontent.com/u/3733729?v=3","gravatar_id":"","url":"https://api.github.com/users/grosu","html_url":"https://github.com/grosu","followers_url":"https://api.github.com/users/grosu/followers","following_url":"https://api.github.com/users/grosu/following{/other_user}","gists_url":"https://api.github.com/users/grosu/gists{/gist_id}","starred_url":"https://api.github.com/users/grosu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/grosu/subscriptions","organizations_url":"https://api.github.com/users/grosu/orgs","repos_url":"https://api.github.com/users/grosu/repos","events_url":"https://api.github.com/users/grosu/events{/privacy}","received_events_url":"https://api.github.com/users/grosu/received_events","type":"User","site_admin":false},"created_at":"2015-01-27T20:48:10Z","updated_at":"2015-01-27T20:48:10Z","body":"I'm using Windows 7.  Can somebody try it on Windows 7 to see if they get the same problem?  BTW, the Prerequisites say that we need a command line git.  I don't have one, I use TurtoiseGit, which gives me a bash if I need to type in commands.  I tried to also run `mvn package` from the git bash window, but it fails very quickly.  Let me know if interested to explore this path."}}