Searched refs:add_entry_function (Results 1 - 5 of 5) sorted by path
| /seL4-l4v-master/graph-refine/ |
| H A D | check.py | 30 p.add_entry_function (functions[fname], tag)
|
| H A D | problem.py | 104 def add_entry_function (self, fun, tag): member in class:Problem
|
| H A D | stack_logic.py | 882 p.add_entry_function (functions[f], tag)
898 (args, _, entry) = p.add_entry_function (functions[fname], tag)
|
| H A D | trace_refute.py | 141 p.add_entry_function (functions[fname], tag)
|
| /seL4-l4v-master/graph-refine/graph-to-graph/ |
| H A D | elf_correlate.py | 303 p.add_entry_function(self.asm_fs[f], 'ASM')
328 p.add_entry_function(self.asm_fs[f], 'ASM')
|
Completed in 81 milliseconds