{"action":"created","issue":{"url":"https://api.github.com/repos/javapathfinder/jpf-core/issues/164","repository_url":"https://api.github.com/repos/javapathfinder/jpf-core","labels_url":"https://api.github.com/repos/javapathfinder/jpf-core/issues/164/labels{/name}","comments_url":"https://api.github.com/repos/javapathfinder/jpf-core/issues/164/comments","events_url":"https://api.github.com/repos/javapathfinder/jpf-core/issues/164/events","html_url":"https://github.com/javapathfinder/jpf-core/issues/164","id":384356961,"node_id":"MDU6SXNzdWUzODQzNTY5NjE=","number":164,"title":"Formatting using `printf` broken","user":{"login":"cyrille-artho","id":7298631,"node_id":"MDQ6VXNlcjcyOTg2MzE=","avatar_url":"https://avatars3.githubusercontent.com/u/7298631?v=4","gravatar_id":"","url":"https://api.github.com/users/cyrille-artho","html_url":"https://github.com/cyrille-artho","followers_url":"https://api.github.com/users/cyrille-artho/followers","following_url":"https://api.github.com/users/cyrille-artho/following{/other_user}","gists_url":"https://api.github.com/users/cyrille-artho/gists{/gist_id}","starred_url":"https://api.github.com/users/cyrille-artho/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cyrille-artho/subscriptions","organizations_url":"https://api.github.com/users/cyrille-artho/orgs","repos_url":"https://api.github.com/users/cyrille-artho/repos","events_url":"https://api.github.com/users/cyrille-artho/events{/privacy}","received_events_url":"https://api.github.com/users/cyrille-artho/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-11-26T14:32:48Z","updated_at":"2018-12-09T17:17:55Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"Simple printf statements such as `printf(\"%c\", 'a');` do not work at the moment, due to internal problems with formatting that cause exceptions in a native peer class.\r\n\r\nThe corresponding unit test `testPrintCharFormat` is in `src/tests/gov/nasa/jpf/test/java/io/PrintStreamTest.java`, with the failing code commented out.\r\n\r\nIt would be desirable to have a more complete unit test (with other printf options), and fixes in the model/peer classes that can support such functionality."},"comment":{"url":"https://api.github.com/repos/javapathfinder/jpf-core/issues/comments/445555014","html_url":"https://github.com/javapathfinder/jpf-core/issues/164#issuecomment-445555014","issue_url":"https://api.github.com/repos/javapathfinder/jpf-core/issues/164","id":445555014,"node_id":"MDEyOklzc3VlQ29tbWVudDQ0NTU1NTAxNA==","user":{"login":"IgorWilbert","id":42987854,"node_id":"MDQ6VXNlcjQyOTg3ODU0","avatar_url":"https://avatars1.githubusercontent.com/u/42987854?v=4","gravatar_id":"","url":"https://api.github.com/users/IgorWilbert","html_url":"https://github.com/IgorWilbert","followers_url":"https://api.github.com/users/IgorWilbert/followers","following_url":"https://api.github.com/users/IgorWilbert/following{/other_user}","gists_url":"https://api.github.com/users/IgorWilbert/gists{/gist_id}","starred_url":"https://api.github.com/users/IgorWilbert/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/IgorWilbert/subscriptions","organizations_url":"https://api.github.com/users/IgorWilbert/orgs","repos_url":"https://api.github.com/users/IgorWilbert/repos","events_url":"https://api.github.com/users/IgorWilbert/events{/privacy}","received_events_url":"https://api.github.com/users/IgorWilbert/received_events","type":"User","site_admin":false},"created_at":"2018-12-09T17:17:55Z","updated_at":"2018-12-09T17:17:55Z","author_association":"NONE","body":"Hello @cyrille-artho! I've some skills in Java and I'd like to contribute to Pathfinder and try to participate in GSoC 2019. Is this an issue that a beginner might solve? Thanks!"}}
{"actor":{"display_login":"IgorWilbert"}}