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.")