manageCompressor-SZauto.cfg

#manage compressor
[COMPRESSOR]
#compressor's name
compressor_name = SZauto
#compression mode
compression_mode =
#full compressor name
full_compressor_name = SZauto
#the directory that will contain the test-cases
workspaceDir = SZauto
#the directory that contains the executable (i.e., exeCommand = ./testfloat_CompDecomp ....)
exeDir = SZauto/test
#preprocessing work before performing compression (e.g., copying the configuration file to the workspace)
#preCommand will be done only once for each workspace before the compression assessment.
#$testcase refers to the test_case_name; $workspaceDir refers to the workspace
preCommand = cp SZauto/test/SZauto*_CompDecomp $workspaceDir/$testcase
#the executable already integrated with Z-checker interfaces
exeCommand = ./SZauto_CompDecomp.sh zc.config COMPRESSION_CASE DATA_TYPE VAR_NAME ERROR_BOUND DATA_FILE DIM1 DIM2 DIM3 DIM4