{"action":"created","issue":{"url":"https://api.github.com/repos/MyersResearchGroup/ATACS/issues/25","repository_url":"https://api.github.com/repos/MyersResearchGroup/ATACS","labels_url":"https://api.github.com/repos/MyersResearchGroup/ATACS/issues/25/labels{/name}","comments_url":"https://api.github.com/repos/MyersResearchGroup/ATACS/issues/25/comments","events_url":"https://api.github.com/repos/MyersResearchGroup/ATACS/issues/25/events","html_url":"https://github.com/MyersResearchGroup/ATACS/issues/25","id":187656018,"number":25,"title":"Interleave Optimization Issue","user":{"login":"buggsley","id":22898080,"avatar_url":"https://avatars.githubusercontent.com/u/22898080?v=3","gravatar_id":"","url":"https://api.github.com/users/buggsley","html_url":"https://github.com/buggsley","followers_url":"https://api.github.com/users/buggsley/followers","following_url":"https://api.github.com/users/buggsley/following{/other_user}","gists_url":"https://api.github.com/users/buggsley/gists{/gist_id}","starred_url":"https://api.github.com/users/buggsley/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/buggsley/subscriptions","organizations_url":"https://api.github.com/users/buggsley/orgs","repos_url":"https://api.github.com/users/buggsley/repos","events_url":"https://api.github.com/users/buggsley/events{/privacy}","received_events_url":"https://api.github.com/users/buggsley/received_events","type":"User","site_admin":false},"labels":[{"id":476720941,"url":"https://api.github.com/repos/MyersResearchGroup/ATACS/labels/Wendy","name":"Wendy","color":"54e0dd","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2016-11-07T08:57:40Z","updated_at":"2016-11-07T08:57:41Z","closed_at":null,"body":"-----BEGIN PGP SIGNED MESSAGE-----\nHash: SHA1\n\nIt appears that the interleave command may be removing reachable states.\nThis issue was reveled running the regression test as follows:\n\n make Extras=mT\n\nThe Extras=mT flag toggles the interleave optimization off.  The PRS\nmissmatch was found on the file go.csp.  The go.prs file generated without\nthe interleave option has a CSC variable to solve a violation that does\nnot appear when interleave is turned on.  This file has appended the bad\nPRS file with the GOLD file, as well as atacs.log for the run.\n\negm\n\n- -----\nEric G Mercer                                   eemercer@elen.utah.edu\nMEB 4120 Dept. Electrical Engineering           Office: 801-581-8378\nUniversity of Utah                              FAX: 801-581-5281\nSalt Lake City, UT 84112\nID: 0x4340C2D9 <eemercer@elen.utah.edu>\nFinger Print: C2B3 329C D759 3651 66CD  48D3 605D 32AC 4340 C2D9\n\n-----BEGIN PGP SIGNATURE-----\nVersion: GnuPG v1.0.2 (GNU/Linux)\nComment: For info see http://www.gnupg.org\n\niD8DBQE5mcqfYF0yrENAwtkRAsrUAKCAWGPUAY1yns5ZJWs5OPFwdbMWgACZAbzM\nqO+x3beH+2K2CX66gj7W0dM=\n=i24D\n-----END PGP SIGNATURE-----\n"},"comment":{"url":"https://api.github.com/repos/MyersResearchGroup/ATACS/issues/comments/258779371","html_url":"https://github.com/MyersResearchGroup/ATACS/issues/25#issuecomment-258779371","issue_url":"https://api.github.com/repos/MyersResearchGroup/ATACS/issues/25","id":258779371,"user":{"login":"buggsley","id":22898080,"avatar_url":"https://avatars.githubusercontent.com/u/22898080?v=3","gravatar_id":"","url":"https://api.github.com/users/buggsley","html_url":"https://github.com/buggsley","followers_url":"https://api.github.com/users/buggsley/followers","following_url":"https://api.github.com/users/buggsley/following{/other_user}","gists_url":"https://api.github.com/users/buggsley/gists{/gist_id}","starred_url":"https://api.github.com/users/buggsley/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/buggsley/subscriptions","organizations_url":"https://api.github.com/users/buggsley/orgs","repos_url":"https://api.github.com/users/buggsley/repos","events_url":"https://api.github.com/users/buggsley/events{/privacy}","received_events_url":"https://api.github.com/users/buggsley/received_events","type":"User","site_admin":false},"created_at":"2016-11-07T08:57:41Z","updated_at":"2016-11-07T08:57:41Z","body":"The original message was received at Sun, 21 Apr 2002 16:11:49 -0600\nfrom IDENT:atacs-bugs@shang.elen.utah.edu [155.99.23.201]\n\n   ----- The following addresses had permanent fatal errors -----\n<eemercer@elen.utah.edu>\n    (reason: 551 5.1.1 User has moved; please try <eemercer@ece.utah.edu>)\n\n   ----- Transcript of session follows -----\n... while talking to mail.elen.utah.edu.:\n>>> RCPT To:<eemercer@elen.utah.edu>\n<<< 551 5.1.1 User has moved; please try <eemercer@ece.utah.edu>\n550 5.1.1 <eemercer@elen.utah.edu>... User unknown\n"}}
{"actor":{"display_login":"buggsley"}}