Files:

    Name Lines Files Authors Tokens   Color Graph By Token Proportion
    automata.h 81 - 2 227
    da_monitor.h 504 - 7 1414
    instrumentation.h 29 - 1 31
    ltl_monitor.h 173 - 5 850