Searched refs:get_s_expression (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/
H A Dsolver.py667 def get_s_expression (stream, prompt): function
845 def get_s_expression (self, prompt): member in class:Solver
846 return get_s_expression (self.online_solver.stdout, prompt)
851 return self.get_s_expression (prompt)
1386 values = get_s_expression (stream,
1876 res = get_s_expression (process.stdout, '(check-sat)')
1877 core = get_s_expression (process.stdout,

Completed in 37 milliseconds