manageCompressor-dr.cfg

#manage compressor
[COMPRESSOR]
#compressor's name
compressor_name = dr
#compression mode
compression_mode =
#full compressor name
full_compressor_name = digitrounding
#the directory that will contain the test-cases
workspaceDir = digitroundingZ
#the directory that contains the executable (i.e., exeCommand = ./testfloat_CompDecomp ....)
exeDir = digitroundingZ/examples
#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 digitroundingZ/examples/dr*_CompDecomp $workspaceDir/$testcase
#the executable already integrated with Z-checker interfaces
exeCommand = ./dr_CompDecomp.sh zc.config COMPRESSION_CASE DATA_TYPE VAR_NAME ERROR_BOUND DATA_FILE DIM1 DIM2 DIM3 DIM4