aboutsummaryrefslogtreecommitdiff
path: root/conf.py
diff options
context:
space:
mode:
Diffstat (limited to 'conf.py')
-rw-r--r--conf.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/conf.py b/conf.py
index 583981b..965d2f4 100644
--- a/conf.py
+++ b/conf.py
@@ -31,6 +31,10 @@ boot_command = ['echo', 'bootit']
# Command to parse double value from boot output
parse_command = ['echo', '0']
+# 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 = []