Esempio n. 1
0
 def write_sources(self):
     unix.cd(self.cwd)
     _, h = preprocess.load(dir='traces/obs')
     solvertools.write_sources(vars(PAR), h)
Esempio n. 2
0
 def write_sources(self):
     unix.cd(self.cwd)
     _, h = preprocess.load(dir='traces/obs')
     solvertools.write_sources(vars(PAR), h)