Compressor compressor = new Compressor(CompressionMode.ZIP);
compressor.setContext(context);
compressor.compress(CoreTestConstants.TEST_SRC_PREFIX
+ "input/compress3.txt", CoreTestConstants.OUTPUT_DIR_PREFIX
+ "compress3.txt", "compress3.txt");
StatusChecker checker = new StatusChecker(context);
assertTrue(checker.isErrorFree(0));
// we don't know how to compare .zip files
// assertTrue(Compare.compare(CoreTestConstants.OUTPUT_DIR_PREFIX
// + "compress3.txt.zip", CoreTestConstants.TEST_SRC_PREFIX
// + "witness/compress3.txt.zip"));