Files:

    Name Lines Files Authors Tokens   Color Graph By Token Proportion
    automata.h 75 - 1 23
    da_monitor.h 533 - 5 192
    instrumentation.h 29 - 1 31
    ltl_monitor.h 173 - 5 850