[root]/org.sosy_lab.crocopat.cli.tests/src/org/sosy_lab crocopat (0 files, 0 lines) cli (0 files, 0 lines) tests (1 files, 151 lines)