diff options
| -rw-r--r-- | scripts/configdiff.py | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/scripts/configdiff.py b/scripts/configdiff.py new file mode 100644 index 0000000..3cf1b16 --- /dev/null +++ b/scripts/configdiff.py @@ -0,0 +1,48 @@ +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 |