summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2022-09-23 10:38:13 +0200
committerDaniel Friesel <daniel.friesel@uos.de>2022-09-23 10:38:13 +0200
commit553bb7d218ffa2b7214423388f3b33c72b469418 (patch)
tree62d8eac1fd7aa8574f61f72b0480ec1ac03923ee
parentce4684eea9110fa28b71760c6bb9ca9affbfb735 (diff)
explore-and-model-static: add usage hints
-rwxr-xr-xexamples/explore-and-model-static6
1 files changed, 6 insertions, 0 deletions
diff --git a/examples/explore-and-model-static b/examples/explore-and-model-static
index 264d14f..3dccc3a 100755
--- a/examples/explore-and-model-static
+++ b/examples/explore-and-model-static
@@ -1,5 +1,11 @@
#!/bin/sh
+# Run this file from a directory that may be filled with benchmark output, like so:
+# > cd .../dfatool
+# > mkdir -p kconfig-static-data models
+# > cd kconfig-static-data
+# > ../examples/explore-and-model-static
+
set -ex
# Benchmark 10 random configurations and their neighbourhood