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