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

/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dtraversal.py51 def __exit__(self, type, value, traceback):
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A D__main__.py25 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__.py21 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 Drun_tests.py31 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 Drun_tests173 def __exit__(self, exn_type, exn_val, traceback):

Completed in 84 milliseconds