{"push_id":1333675158,"size":1,"distinct_size":1,"ref":"refs/heads/better-paths","head":"8ae9dd8ec566ef19e6126b210b80a3b5bd251407","before":"0f98dcb417af5747e099f5a8a10da9e6805cb66f","commits":[{"sha":"8ae9dd8ec566ef19e6126b210b80a3b5bd251407","author":{"name":"Jiri Slaby","email":"5983af6a8e8283aa60de579a10bd4a0e541489a0@suse.cz"},"message":"generate better .path files\n\nWe need witnesses for the upcoming SV-COMP. For that purpose we need\nto know the path through the source file. I.e. sequence of code lines\nhow to get to an erroneous location. I implemented it though the\ngenerated .path files. Instead of emitting only a number 0/1 (false\nbranch/true branch), I also put there file name and line number.\n\nThis implements issue #55.\n\nSigned-off-by: Jiri Slaby <jslaby@suse.cz>","distinct":true,"url":"https://api.github.com/repos/jirislaby/klee/commits/8ae9dd8ec566ef19e6126b210b80a3b5bd251407"}]}
{"actor":{"display_login":"jirislaby"}}