def test_missingCertificateFile(self):
        self.assertRaises(
            SSL.Error,
            ssl.DefaultOpenSSLContextFactory, certPath, self.mktemp())
stmt : ASSUME expr SEMI
dataset/ETHPy150Open twisted/twisted/twisted/test/test_ssl.py/DefaultOpenSSLContextFactoryTests.test_missingCertificateFile--crossover with--dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_stmt_assume_expr_semi