dslab-epfl/s2e — pull request #52 by DonDiego (2013-07-08 11:33:03+00:00)
Title: Miscellaneous small issues

Three little things that I noticed in S2E while working with it over the weekend.