Searched refs:traceback (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-master/l4v/spec/cspec/ |
| H A D | mk_umm_types.py | 29 def __exit__(self, type, value, traceback):
|
| /seL4-l4v-master/graph-refine/ |
| H A D | graph-refine.py | 24 import traceback namespace
107 traceback.print_exception (etype, evalue, tb,
344 print traceback.format_exc ()
|
| H A D | trace_refute.py | 616 import sys, traceback namespace
620 ss = traceback.format_exception (etype, evalue, tb)
|
| /seL4-l4v-master/graph-refine/graph-to-graph/ |
| H A D | bench.py | 16 import traceback namespace
|
| /seL4-l4v-master/l4v/tools/autocorres/tools/stats/ |
| H A D | stats.py | 29 def __exit__(self, type, value, traceback):
|
| /seL4-l4v-master/l4v/misc/regression/ |
| H A D | run_tests.py | 33 import traceback namespace
192 output = "Exception while running test:\n\n%s" % (traceback.format_exc())
|
| /seL4-l4v-master/l4v/tools/autocorres/tools/ |
| H A D | release.py | 30 def __exit__(self, type, value, traceback):
|
Completed in 62 milliseconds