diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-02-03 20:57:20 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-02-03 20:57:20 +0100 |
| commit | ef85245f159402fd948ff045b56ad9095d22b39e (patch) | |
| tree | cf5d0f0ce017ed4c29c2c46da0cb6311c88c2733 /scripts/sat_solution | |
| parent | 9f07dd89b7cd2de6ce341afd1aed3e6bd0122a27 (diff) | |
| download | linux-conf-perf-ef85245f159402fd948ff045b56ad9095d22b39e.tar.gz linux-conf-perf-ef85245f159402fd948ff045b56ad9095d22b39e.tar.bz2 linux-conf-perf-ef85245f159402fd948ff045b56ad9095d22b39e.zip | |
Implementing main loop
These new scripts are part of main loop.
kernel is not finished!!
Divides kconfig_parser, sat_solution to better named modules.
Phasing and iteration is implemented for loop watching.
Diffstat (limited to 'scripts/sat_solution')
| -rwxr-xr-x | scripts/sat_solution | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/scripts/sat_solution b/scripts/sat_solution deleted file mode 100755 index 07d5118..0000000 --- a/scripts/sat_solution +++ /dev/null @@ -1,24 +0,0 @@ -#!/bin/bash - -SAT_FOLDER=$1 -RULES="$1/rules" -SOLUTION="$1/solution" - -W_FILE=`mktemp` - -if [ -r "$RULES" ]; then - cat "$RULES" | sed 's/$/ 0/' > "$W_FILE" -else - echo "Error: No rules file in specified folder." 1>&2 - exit 1 -fi - -RL_COUNT=`wc -l < "$W_FILE"` -NUM_VAR=`tail -1 "$RULES" | sed 's/ .*//' | sed 's/-//'` -sed -i "1ip cnf $NUM_VAR $RL_COUNT" "$W_FILE" -echo "CLAUSELES: $RL_COUNT" -echo "VARIABLES: $NUM_VAR" - -minisat "$W_FILE" "$SOLUTION" - -rm "$W_FILE" |