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

/seL4-l4v-10.1.1/l4v/misc/benchmark-isabelle/
H A Dbenchmark.py13 import pexpect namespace
33 process = pexpect.spawn('isabelle-process',
53 pexpect.EOF

Completed in 82 milliseconds