/usr/share/doc/python-contract/examples/testdbc9b.py is in python-contract 1.4-4.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 | #!/usr/bin/env python
"""Tests Ruben Reifenberg's invalid precondition bug.
The idea here is that a base class does not have any contract checking,
but a base class tightens the (non-existing) preconditions.
The full test is in testdbc9d.py
"""
class Base(object):
def method(self, a):
"""Loose precondition
pre: a > 5
"""
return a * 9
|