{"action":"created","issue":{"url":"https://api.github.com/repos/klee/klee/issues/258","labels_url":"https://api.github.com/repos/klee/klee/issues/258/labels{/name}","comments_url":"https://api.github.com/repos/klee/klee/issues/258/comments","events_url":"https://api.github.com/repos/klee/klee/issues/258/events","html_url":"https://github.com/klee/klee/pull/258","id":98379328,"number":258,"title":"Improved Klee-stats with basic config file","user":{"login":"suryanash","id":1183883,"avatar_url":"https://avatars.githubusercontent.com/u/1183883?v=3","gravatar_id":"","url":"https://api.github.com/users/suryanash","html_url":"https://github.com/suryanash","followers_url":"https://api.github.com/users/suryanash/followers","following_url":"https://api.github.com/users/suryanash/following{/other_user}","gists_url":"https://api.github.com/users/suryanash/gists{/gist_id}","starred_url":"https://api.github.com/users/suryanash/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/suryanash/subscriptions","organizations_url":"https://api.github.com/users/suryanash/orgs","repos_url":"https://api.github.com/users/suryanash/repos","events_url":"https://api.github.com/users/suryanash/events{/privacy}","received_events_url":"https://api.github.com/users/suryanash/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-07-31T12:14:08Z","updated_at":"2015-08-07T12:58:11Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/klee/klee/pulls/258","html_url":"https://github.com/klee/klee/pull/258","diff_url":"https://github.com/klee/klee/pull/258.diff","patch_url":"https://github.com/klee/klee/pull/258.patch"},"body":"I have been working on improving klee-stats and adding more functionality to it while also making it more flexible. Klee-stats now can partially parse the run.istats file with the assembly.ll file. The new functionality also comes from outsourcing information to a config file. These config files are dependent on the version of stats klee is outputting. The folder stat-configs is where these config files will be, currently there is one for the first version of the stats, version-1. Klee-stats will also try to automatically select the correct version (which it will find out by reading the first line of the run.stats file) by searching for the corresponding file with the name \"version-{v}.config\" where {v} is the current version number.\r\nThe new features, along with how to use config files have been documented in the README.md files. The one pertaining to the config files is inside the folder stat-configs."},"comment":{"url":"https://api.github.com/repos/klee/klee/issues/comments/128693450","html_url":"https://github.com/klee/klee/pull/258#issuecomment-128693450","issue_url":"https://api.github.com/repos/klee/klee/issues/258","id":128693450,"user":{"login":"suryanash","id":1183883,"avatar_url":"https://avatars.githubusercontent.com/u/1183883?v=3","gravatar_id":"","url":"https://api.github.com/users/suryanash","html_url":"https://github.com/suryanash","followers_url":"https://api.github.com/users/suryanash/followers","following_url":"https://api.github.com/users/suryanash/following{/other_user}","gists_url":"https://api.github.com/users/suryanash/gists{/gist_id}","starred_url":"https://api.github.com/users/suryanash/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/suryanash/subscriptions","organizations_url":"https://api.github.com/users/suryanash/orgs","repos_url":"https://api.github.com/users/suryanash/repos","events_url":"https://api.github.com/users/suryanash/events{/privacy}","received_events_url":"https://api.github.com/users/suryanash/received_events","type":"User","site_admin":false},"created_at":"2015-08-07T12:58:11Z","updated_at":"2015-08-07T12:58:11Z","body":"Thanks Cristian. I have now added test cases for the different features and amended the appropriate TravisCI configuration files to run the tests correctly. I have also added the top locations feature which displays the line number for the LLVM instruction that took the most time (along with the mnemonic). "}}