runVampireInSubprocess

runVampireInSubprocess(stream=None, stderr_stream=None)

Run vampire in a subprocess

Parameters:

• stream (stream) – The stream to write the Vampire output to.

• stderr_stream (stream) – The stream to write stderr to, only for testing.