diff options
Diffstat (limited to 'examples')
| -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 |