Version 3: Separate components of CondTest as independent executables, no more glue code
Release v2. Major overhaul of reducer - full C parsing is done within python, CPAchecker is only required for witness2test
Version 1 of CTF