klee/klee — pull request #137 by MartinNowack (2014-07-09 15:16:32+00:00)
Title: Fix to avoid warning message taking address of main

Fixes #82
Takes just another function instead of main. This way we keep people using the standard happy.