Mansour Alharthi
Mansour Alharthi
Thank you for the response! I am not sure if it solves the problem but we dont have the call to exit at main's head anymore. Can you give me...
Thank you for your response. Respectfully, I dont think this is the problem. The example above is a single-unit file, so I dont think there is incompleteness in terms of...
Hmm. Something must off in my steps. Does my commands above looks correct? Could you please also upload log.txt, range_res.txt and the output bitcode of Beacon's Ins? I would like...
My clang command does include the debug info and target location seem to be found with Beacon. Also, I seem to generate the same bbreaches.txt file, so thats why I...
As far as my environment, I am using the Beacon docker container and running the test above inside it.