SVCOMP 2015 with some tweaks to fix undefined behavior - View it on GitHub