Searched refs:lines (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/tools/seL4/misc/
H A Dfilter.py34 lines = outfile.readlines()
35 filters += [parse_filter(l) for l in lines if parse_filter(l)]
/seL4-test-master/kernel/tools/
H A Dumm.py107 lines = map(lambda x: x.rstrip(), in_file.readlines())
111 grps = splitBy(lambda x: x == '', lines)
H A Dlex.py883 lines = f.readlines()
893 for l in lines:
/seL4-test-master/kernel/manual/parts/
H A Dintro.tex17 implementation of approximately $8700$ lines of C code. This has allowed

Completed in 40 milliseconds