Timotej Kapus
Timotej Kapus
If you are asking me, I think it's pretty feasible. The interference with other parts of KLEE is minimal and guarded.
Yes, that is probably it. Didn't know it is unsupported. Shouldn't there be an error or something instead of failing silently? On 23 Jun 2015 01:57, "Paul Marinescu" [email protected] wrote:...
Was anything relating to this changed recently? It appears semi fixed to me. Given this snippet: ```C struct a { char b; int c; char d; int e; int f...
It seems this behaviour was present at the initial report of this issue as well. So I guess nothing changed it might just be another interesting observation about this issue.
If I recall correctly, what I did with PGO, was extended the random path searcher to be biased by profile information. I'm not sure I ever measured KLEE compiled with...