{"action":"opened","issue":{"url":"https://api.github.com/repos/kframework/k/issues/1700","labels_url":"https://api.github.com/repos/kframework/k/issues/1700/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/1700/comments","events_url":"https://api.github.com/repos/kframework/k/issues/1700/events","html_url":"https://github.com/kframework/k/issues/1700","id":104559927,"number":1700,"title":"Review imp lesson_8","user":{"login":"bmmoore","id":698479,"avatar_url":"https://avatars.githubusercontent.com/u/698479?v=3","gravatar_id":"","url":"https://api.github.com/users/bmmoore","html_url":"https://github.com/bmmoore","followers_url":"https://api.github.com/users/bmmoore/followers","following_url":"https://api.github.com/users/bmmoore/following{/other_user}","gists_url":"https://api.github.com/users/bmmoore/gists{/gist_id}","starred_url":"https://api.github.com/users/bmmoore/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bmmoore/subscriptions","organizations_url":"https://api.github.com/users/bmmoore/orgs","repos_url":"https://api.github.com/users/bmmoore/repos","events_url":"https://api.github.com/users/bmmoore/events{/privacy}","received_events_url":"https://api.github.com/users/bmmoore/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"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},"milestone":null,"comments":0,"created_at":"2015-09-02T19:59:03Z","updated_at":"2015-09-02T19:59:03Z","closed_at":null,"body":"tutorial/1_k/2_imp/lesson_5 seems to be working. You can run it with `ktest --skip pdf tests/config.xml`, and look in lesson1/test/config.xml to see all the options currently necessary to run it manually. The output doesn't match the expected output because unparsing has changed. I'm not even sure if we print maps in a canonical order."}}