Searched refs:codecs (Results 1 - 4 of 4) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
| H A D | stage0.py | 30 import codecs namespace
62 with codecs.open(output, 'r', 'utf-8') as f:
64 with codecs.open(deps, 'r', 'utf-8') as f:
86 with codecs.open(output, 'r', 'utf-8') as f:
88 with codecs.open(deps, 'r', 'utf-8') as f:
99 with codecs.open(filename, 'r', 'utf-8') as f:
|
| /seL4-camkes-master/projects/camkes-tool/camkes/internal/tests/ |
| H A D | teststrhash.py | 19 import codecs, os, subprocess, sys, unittest namespace
33 with codecs.open(tmp, 'w', 'utf-8') as f:
|
| /seL4-camkes-master/projects/camkes-tool/tools/ |
| H A D | make_isabelle_symbols.py | 26 import argparse, codecs, six, sys namespace
61 options.output = codecs.open(options.output.name, 'w', 'utf-8')
|
| H A D | camkes_lint.py | 23 import argparse, ast, codecs, sys namespace
34 with codecs.open(options.filename.name, 'rt', 'utf-8') as f:
|
Completed in 44 milliseconds