{"action":"closed","issue":{"url":"https://api.github.com/repos/mpreiner/bugzilla_migration_test/issues/257","repository_url":"https://api.github.com/repos/mpreiner/bugzilla_migration_test","labels_url":"https://api.github.com/repos/mpreiner/bugzilla_migration_test/issues/257/labels{/name}","comments_url":"https://api.github.com/repos/mpreiner/bugzilla_migration_test/issues/257/comments","events_url":"https://api.github.com/repos/mpreiner/bugzilla_migration_test/issues/257/events","html_url":"https://github.com/mpreiner/bugzilla_migration_test/issues/257","id":251112612,"number":257,"title":"Slicing assertion failure (Bugzilla #260)","user":{"login":"mpreiner","id":4653598,"avatar_url":"https://avatars0.githubusercontent.com/u/4653598?v=4","gravatar_id":"","url":"https://api.github.com/users/mpreiner","html_url":"https://github.com/mpreiner","followers_url":"https://api.github.com/users/mpreiner/followers","following_url":"https://api.github.com/users/mpreiner/following{/other_user}","gists_url":"https://api.github.com/users/mpreiner/gists{/gist_id}","starred_url":"https://api.github.com/users/mpreiner/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mpreiner/subscriptions","organizations_url":"https://api.github.com/users/mpreiner/orgs","repos_url":"https://api.github.com/users/mpreiner/repos","events_url":"https://api.github.com/users/mpreiner/events{/privacy}","received_events_url":"https://api.github.com/users/mpreiner/received_events","type":"User","site_admin":false},"labels":[{"id":671151208,"url":"https://api.github.com/repos/mpreiner/bugzilla_migration_test/labels/enhancement","name":"enhancement","color":"84b6eb","default":true}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-08-18T01:01:19Z","updated_at":"2017-08-18T01:01:19Z","closed_at":"2017-08-18T01:01:19Z","body":"**Imported from Bugzilla**\nReporter: *Morgan Deters*\nStatus: *RESOLVED*\nSeverity: *enhancement*\nAssigned to: *Dejan Jovanovic*\nComponent: *Bitvectors*\nMilestone: *---*\nVersion: *master*\nPlatform: *All*\nOS: *All*\n\nOriginal attachment names and IDs:\n- _[failingbv1.smt](http://cvc4.cs.stanford.edu/bugzilla_attachments/34_failingbv1.smt)_ (Failing a slicing assertion in current trunk (r1791).  Delta-minimized.  CVC3 says SAT., ID 34)\n- _[failingbv2.smt](http://cvc4.cs.stanford.edu/bugzilla_attachments/35_failingbv2.smt)_ (Similar example, but different assert-fail: this time EqualityEngine.  CVC3 still says SAT., ID 35)\n\nOn 2011-04-28 01:54:30 -0700, Morgan Deters wrote:\n> Created attachment 34\n> Failing a slicing assertion in current trunk (r1791).  Delta\\-minimized.  CVC3 says SAT.\n\nOn 2011-04-28 01:55:24 -0700, Morgan Deters wrote:\n> Created attachment 35\n> Similar example, but different assert\\-fail: this time EqualityEngine.  CVC3 still says SAT.\n\nOn 2011-04-28 01:55:50 -0700, Morgan Deters wrote:\n> A few very small examples attached to debug with.\n\nOn 2011-05-02 15:29:13 -0700, Dejan Jovanovic wrote:\n> both fixed in revision 1825\n\n"}}
{"actor":{"display_login":"mpreiner"}}