$ time.py ./hypatia.py /devel/bochs/bochs-2.6.11
/devel/bochs/bochs-2.6.11/gdbstub.cc:514: error: True and false parts of 'if' statement are equal.
        if (last_stop_reason == GDBSTUB_EXECUTION_BREAKPOINT ||
        ^~~~~~
/devel/bochs/bochs-2.6.11/gdbstub.cc:781: error: True and false parts of 'if' statement are equal.
        else if (strncmp(&buffer[1], "Supported", strlen("Supported")) == 0)
             ^~~~~~

Total of 2 report(s).

Total compiling time 3.265616 second(s).
Total plugins time 12.380301 second(s).

Time 0:00:16.592111