示例#1
0
文件: report.py 项目: bobdoah/veripy
    def test_it_should_not_be_compliant_if_the_outcome_is_unimplemented(self):
        r1 = Result(self.c1, Outcome(Outcome.Results.UNIMPLEMENTED))

        self.assertFalse(r1.is_compliant())
示例#2
0
文件: report.py 项目: bobdoah/veripy
    def test_it_should_not_be_compliant_if_the_outcome_is_error(self):
        r1 = Result(self.c1, Outcome(Outcome.Results.ERROR))

        self.assertFalse(r1.is_compliant())
示例#3
0
文件: report.py 项目: bobdoah/veripy
    def test_it_should_be_compliant_if_the_outcome_is_compliant(self):
        r1 = Result(self.c1, Outcome(Outcome.Results.PASS))

        self.assertTrue(r1.is_compliant())
示例#4
0
    def test_it_should_not_be_compliant_if_the_outcome_is_unimplemented(self):
        r1 = Result(self.c1, Outcome(Outcome.Results.UNIMPLEMENTED))

        self.assertFalse(r1.is_compliant())
示例#5
0
    def test_it_should_not_be_compliant_if_the_outcome_is_error(self):
        r1 = Result(self.c1, Outcome(Outcome.Results.ERROR))

        self.assertFalse(r1.is_compliant())
示例#6
0
    def test_it_should_be_compliant_if_the_outcome_is_compliant(self):
        r1 = Result(self.c1, Outcome(Outcome.Results.PASS))

        self.assertTrue(r1.is_compliant())