{"action":"created","issue":{"url":"https://api.github.com/repos/klee/klee/issues/387","repository_url":"https://api.github.com/repos/klee/klee","labels_url":"https://api.github.com/repos/klee/klee/issues/387/labels{/name}","comments_url":"https://api.github.com/repos/klee/klee/issues/387/comments","events_url":"https://api.github.com/repos/klee/klee/issues/387/events","html_url":"https://github.com/klee/klee/pull/387","id":154448627,"number":387,"title":"Modified -debug-print-instructions to write directly on log file.","user":{"login":"andreamattavelli","id":5530090,"avatar_url":"https://avatars.githubusercontent.com/u/5530090?v=3","gravatar_id":"","url":"https://api.github.com/users/andreamattavelli","html_url":"https://github.com/andreamattavelli","followers_url":"https://api.github.com/users/andreamattavelli/followers","following_url":"https://api.github.com/users/andreamattavelli/following{/other_user}","gists_url":"https://api.github.com/users/andreamattavelli/gists{/gist_id}","starred_url":"https://api.github.com/users/andreamattavelli/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andreamattavelli/subscriptions","organizations_url":"https://api.github.com/users/andreamattavelli/orgs","repos_url":"https://api.github.com/users/andreamattavelli/repos","events_url":"https://api.github.com/users/andreamattavelli/events{/privacy}","received_events_url":"https://api.github.com/users/andreamattavelli/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":11,"created_at":"2016-05-12T10:26:32Z","updated_at":"2016-05-16T22:28:12Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/klee/klee/pulls/387","html_url":"https://github.com/klee/klee/pull/387","diff_url":"https://github.com/klee/klee/pull/387.diff","patch_url":"https://github.com/klee/klee/pull/387.patch"},"body":"-debug-print-instructions can now be invoked with 4 different values:\r\n1) all:stderr,   which logs all instructions to stderr;\r\n2) all:file,     which logs all instructions to file in format [src, inst_cntr, inst_id, llvm_inst];\r\n3) src:file,     which logs all instructions to file in format [src, inst_cntr, inst_id];\r\n4) compact:file, which logs all instructions to file in format [inst_cntr, inst_id];\r\nWriting to file gives a speedup of ~50x.\r\n\r\nChanges made mainly by @MartinNowack."},"comment":{"url":"https://api.github.com/repos/klee/klee/issues/comments/219567555","html_url":"https://github.com/klee/klee/pull/387#issuecomment-219567555","issue_url":"https://api.github.com/repos/klee/klee/issues/387","id":219567555,"user":{"login":"andreamattavelli","id":5530090,"avatar_url":"https://avatars.githubusercontent.com/u/5530090?v=3","gravatar_id":"","url":"https://api.github.com/users/andreamattavelli","html_url":"https://github.com/andreamattavelli","followers_url":"https://api.github.com/users/andreamattavelli/followers","following_url":"https://api.github.com/users/andreamattavelli/following{/other_user}","gists_url":"https://api.github.com/users/andreamattavelli/gists{/gist_id}","starred_url":"https://api.github.com/users/andreamattavelli/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andreamattavelli/subscriptions","organizations_url":"https://api.github.com/users/andreamattavelli/orgs","repos_url":"https://api.github.com/users/andreamattavelli/repos","events_url":"https://api.github.com/users/andreamattavelli/events{/privacy}","received_events_url":"https://api.github.com/users/andreamattavelli/received_events","type":"User","site_admin":false},"created_at":"2016-05-16T22:28:12Z","updated_at":"2016-05-16T22:28:12Z","body":"> I'm not saying we should pick the final YAML format now (what I proposed isn't good enough). I'm saying we should just use what I proposed as a better starting point. Emitting valid yaml means we don't have to write a parser for own custom format and using libyaml we can parse very quickly.\r\n\r\nI understand your point, but I don't agree: we either spend effort on designing and implementing a good solution from the beginning, or post-pone for a later refactoring. Pushing half-good, half-finished file would just increase the pain later to support all previous file formats.\r\nI still vote to merge of this PR now, and to open a 'Feature request' ticket to discuss a proper future file format."}}