Searched refs:traceback (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | traversal.py | 51 def __exit__(self, type, value, traceback):
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | __main__.py | 25 six, string, sys, traceback, pickle namespace 38 tb = traceback.format_exc() 39 log.debug('\n --- Python traceback ---\n%s ------------------------\n' % tb)
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | __main__.py | 21 six, string, sys, traceback, pickle namespace 69 tb = traceback.format_exc() 70 log.debug('\n --- Python traceback ---\n%s ------------------------\n' % tb) 176 tb = '\n'.join(traceback.format_tb(sys.exc_info()[2]))
|
/seL4-camkes-master/tools/cogent/regression/ |
H A D | run_tests.py | 31 import traceback namespace 147 output = "Exception while running test:\n\n%s" % (traceback.format_exc())
|
/seL4-camkes-master/projects/camkes-tool/cdl-refine-tests/ |
H A D | run_tests | 173 def __exit__(self, exn_type, exn_val, traceback):
|
Completed in 84 milliseconds