Searched refs:original_name (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/wcet_scripts/ | ||
| H A D | unspecified_pre_cond.py | 20 original_name = sys.argv[1] variable 22 original = open(original_name) |
Completed in 48 milliseconds