We are in the last days of the Google Summer of Code 2016. This post summarizes what I’ve done with regard to my project on supporting KLEE in Debile and where to find code and other I wrote and did during the summer.
Google Summer of Code 2016 is closely coming to an end – we’re stepping into August, and coding for GSoC ends on August 23. With that in mind, I’ve been working on bringing my GSoC project to an end, though there are still things to do.
This GSoC week of working on a Debian project was all about sbuild. I made progress with setting up an sbuild session for KLEE and I also reworked a patch for sbuild to support a command-line option not present in the upstream version of sbuild.