diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2022-09-23 10:38:13 +0200 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2022-09-23 10:38:13 +0200 |
commit | 553bb7d218ffa2b7214423388f3b33c72b469418 (patch) | |
tree | 62d8eac1fd7aa8574f61f72b0480ec1ac03923ee | |
parent | ce4684eea9110fa28b71760c6bb9ca9affbfb735 (diff) |
explore-and-model-static: add usage hints
-rwxr-xr-x | examples/explore-and-model-static | 6 |
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 |