{"action":"created","issue":{"url":"https://api.github.com/repos/kframework/k/issues/2037","labels_url":"https://api.github.com/repos/kframework/k/issues/2037/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/2037/comments","events_url":"https://api.github.com/repos/kframework/k/issues/2037/events","html_url":"https://github.com/kframework/k/issues/2037","id":126566895,"number":2037,"title":"--search --pattern works strange for multiplicity cells","user":{"login":"laurayuwen","id":3274406,"avatar_url":"https://avatars.githubusercontent.com/u/3274406?v=3","gravatar_id":"","url":"https://api.github.com/users/laurayuwen","html_url":"https://github.com/laurayuwen","followers_url":"https://api.github.com/users/laurayuwen/followers","following_url":"https://api.github.com/users/laurayuwen/following{/other_user}","gists_url":"https://api.github.com/users/laurayuwen/gists{/gist_id}","starred_url":"https://api.github.com/users/laurayuwen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/laurayuwen/subscriptions","organizations_url":"https://api.github.com/users/laurayuwen/orgs","repos_url":"https://api.github.com/users/laurayuwen/repos","events_url":"https://api.github.com/users/laurayuwen/events{/privacy}","received_events_url":"https://api.github.com/users/laurayuwen/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/kframework/k/labels/bug","name":"bug","color":"fc2929"}],"state":"closed","locked":false,"assignee":{"login":"andreistefanescu","id":5104433,"avatar_url":"https://avatars.githubusercontent.com/u/5104433?v=3","gravatar_id":"","url":"https://api.github.com/users/andreistefanescu","html_url":"https://github.com/andreistefanescu","followers_url":"https://api.github.com/users/andreistefanescu/followers","following_url":"https://api.github.com/users/andreistefanescu/following{/other_user}","gists_url":"https://api.github.com/users/andreistefanescu/gists{/gist_id}","starred_url":"https://api.github.com/users/andreistefanescu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andreistefanescu/subscriptions","organizations_url":"https://api.github.com/users/andreistefanescu/orgs","repos_url":"https://api.github.com/users/andreistefanescu/repos","events_url":"https://api.github.com/users/andreistefanescu/events{/privacy}","received_events_url":"https://api.github.com/users/andreistefanescu/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/kframework/k/milestones/12","html_url":"https://github.com/kframework/k/milestones/4.0%20beta","labels_url":"https://api.github.com/repos/kframework/k/milestones/12/labels","id":1435572,"number":12,"title":"4.0 beta","description":"","creator":{"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},"open_issues":18,"closed_issues":46,"state":"open","created_at":"2015-11-30T16:25:24Z","updated_at":"2016-01-18T01:29:11Z","due_on":"2016-01-15T08:00:00Z","closed_at":null},"comments":1,"created_at":"2016-01-14T02:55:10Z","updated_at":"2016-01-18T01:29:11Z","closed_at":"2016-01-18T01:29:11Z","body":"In 5_types/lesson_6, we have this configuration\r\n```\r\n  configuration <tasks color=\"yellow\">\r\n                  <task color=\"orange\" multiplicity=\"*\">\r\n                    <k color=\"green\"> $PGM:Exp </k>\r\n                    <tenv color=\"red\"> .Map </tenv>\r\n                  </task>\r\n                </tasks>\r\n```\r\nSearch without a pattern looks good\r\n```\r\nkrun ../lesson_4/tests/tricky-1.lambda --search\r\nSearch results:\r\n\r\nSolution 1:\r\n<tasks> <task> <k> ( int -> ( int -> int ) ) -> ( int -> ( int -> int ) ) </k> <tenv> .Map </tenv> </task> </tasks>\r\n```\r\nBut after adding `--pattern '<k>V:K</k>'`, there is no search result."},"comment":{"url":"https://api.github.com/repos/kframework/k/issues/comments/172404512","html_url":"https://github.com/kframework/k/issues/2037#issuecomment-172404512","issue_url":"https://api.github.com/repos/kframework/k/issues/2037","id":172404512,"user":{"login":"andreistefanescu","id":5104433,"avatar_url":"https://avatars.githubusercontent.com/u/5104433?v=3","gravatar_id":"","url":"https://api.github.com/users/andreistefanescu","html_url":"https://github.com/andreistefanescu","followers_url":"https://api.github.com/users/andreistefanescu/followers","following_url":"https://api.github.com/users/andreistefanescu/following{/other_user}","gists_url":"https://api.github.com/users/andreistefanescu/gists{/gist_id}","starred_url":"https://api.github.com/users/andreistefanescu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andreistefanescu/subscriptions","organizations_url":"https://api.github.com/users/andreistefanescu/orgs","repos_url":"https://api.github.com/users/andreistefanescu/repos","events_url":"https://api.github.com/users/andreistefanescu/events{/privacy}","received_events_url":"https://api.github.com/users/andreistefanescu/received_events","type":"User","site_admin":false},"created_at":"2016-01-18T01:29:11Z","updated_at":"2016-01-18T01:29:11Z","body":"Fixed in #2073 ."}}