aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--scripts/configdiff.py48
1 files changed, 0 insertions, 48 deletions
diff --git a/scripts/configdiff.py b/scripts/configdiff.py
deleted file mode 100644
index 3cf1b16..0000000
--- a/scripts/configdiff.py
+++ /dev/null
@@ -1,48 +0,0 @@
-import os
-import sys
-
-from conf import conf
-import utils
-
-
-def check():
- """Check if .config file in kernel tree is consistent with generated solution.
- This containst code fragments from solution.py (apply)
- """
- # Check if solution_file exist
- if not os.path.isfile(conf.solution_file):
- raise Exception("Solution file is missing. Run sat_solution and check existence of " + conf.solution_file)
-
- utils.build_symbol_map() # Ensure smap existence
- srmap = {value:key for key, value in utils.smap.items()}
-
- # Read solution if satisfiable
- with open(conf.solution_file, 'r') as f:
- if not f.readline().rstrip() == 'SAT':
- raise NoSolution()
- solut = f.readline().split()
- solut.remove('0') # Remove 0 at the end
- solutb = []
- for sl in solut: # This is using that sat. solver output is sorted
- if sl[0] == '-':
- solutb.append(False)
- else:
- solutb.append(True)
-
- mismatch = False
- with open(conf.linux_sources + '/.config', 'r') as f:
- for line in f:
- if (line[0] == '#') or (not '=' in line):
- continue
- indx = line.index('=')
- if (line[indx + 1] == 'y'):
- if (solutb[int(srmap[line[7:indx]]) - 1] == False):
- print("W: Setting mismatch: " + line, end='')
- mismatch = True
- if (line[indx + 1] == 'm'):
- print("W: module setting find: " + line, end='')
- elif (line[indx + 1] == 'n'):
- if (solutb[int(srmap[line[7:indx]]) - 1] == True):
- print("W: Setting mismatch: " + line, end='')
- mismatch = True
- return mismatch