Searched refs:is_ascii (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/l4v/misc/git-commit-emails/
H A Dcommit-email.py62 def is_ascii(s): function
72 if is_ascii(s):
108 assert is_ascii(from_addr)
109 assert all([is_ascii(x) for x in dest_addrs])
110 assert all([is_ascii(x) and is_ascii(y) for (x, y) in headers.items()])
126 assert is_ascii(message_bytes)
148 assert is_ascii(from_addr)
149 assert all([is_ascii(x) for x in dest_addrs])
202 assert is_ascii(from_add
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/Isar/
H A Dkeyword.scala162 if (!Symbol.iterator(name).forall(Symbol.is_ascii(_)))
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Isar/
H A Dkeyword.scala162 if (!Symbol.iterator(name).forall(Symbol.is_ascii(_)))

Completed in 37 milliseconds