Login
Z3 tests
Help: test-cycle-compress
☰
Home
Timeline
Branches
Tags
Login
Command-List
The "test-cycle-compress" command:
Compress and uncompress each file named on the command line. Verify that the original content is recovered.