Files:

    Name Lines Files Authors Tokens   Color Graph By Token Proportion
    automata.h 75 - 1 23
    da_monitor.h 548 - 5 220
    instrumentation.h 29 - 1 31
    ltl_monitor.h 186 - 2 896