diff options
-rw-r--r-- | conf.py | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -35,10 +35,6 @@ parse_command = ['./parse_script'] # Identifier of measurement can consist of measure tool name and version measure_identifier = 'cyclictest-v0.92' -# measurement_identifier -# Identifier of measurement can consist of measure tool name and version -measure_identifier = 'cyclictest-v0.92' - # picosat_args # Additional arguments passed to PicoSAT. picosat_args = [] |