[root]/org.openiaml.verification.crocopat.tests/src/org/openiaml/verification/crocopat tests (1 files, 115 lines)