def test_use_specified_coqtop(self):
""" Use the prover (Coqtop) specified in make_film. """
f = NamedTemporaryFile(suffix=".v")
camera.make_film(f.name, coqtop="/usr/bin/coqtop")
f.close()
self.assertTrue("/usr/bin/coqtop" in _mock_get_prover.call_args[1].values(), "Specified path not used.")
def test_use_specified_coqtop(self):
""" Use the prover (Coqtop) specified in make_film. """
f = NamedTemporaryFile(suffix = ".v")
camera.make_film(f.name, coqtop = "/usr/bin/coqtop")
f.close()
self.assertTrue("/usr/bin/coqtop" in _mock_get_prover.call_args[1].values(),
"Specified path not used.")
def test_use_specified_proofweb(self):
""" Use the prover (ProofWeb) specified in make_film. """
f = NamedTemporaryFile(suffix=".v")
camera.make_film(f.name, pwurl="http://prover.example.com")
f.close()
self.assertTrue(
"http://prover.example.com" in _mock_get_prover.call_args[1].values(), "Specified path not used."
)
def test_use_specified_proofweb(self):
""" Use the prover (ProofWeb) specified in make_film. """
f = NamedTemporaryFile(suffix = ".v")
camera.make_film(f.name,
pwurl = "http://prover.example.com")
f.close()
self.assertTrue("http://prover.example.com" in
_mock_get_prover.call_args[1].values(),
"Specified path not used.")
