| import contract |
| |
| contract.test_preassert(1,2) |
| try: |
| contract.test_preassert(-1) |
| print "Failed! Preassertions are broken" |
| except: |
| pass |
| |
| contract.test_postassert(3) |
| try: |
| contract.test_postassert(-3) |
| print "Failed! Postassertions are broken" |
| except: |
| pass |
| |
| contract.test_prepost(2,3) |
| contract.test_prepost(5,-4) |
| try: |
| contract.test_prepost(-3,4) |
| print "Failed! Preassertions are broken" |
| except: |
| pass |
| |
| try: |
| contract.test_prepost(4,-10) |
| print "Failed! Postassertions are broken" |
| |
| except: |
| pass |
| |
| f = contract.Foo() |
| f.test_preassert(4,5) |
| try: |
| f.test_preassert(-2,3) |
| print "Failed! Method preassertion." |
| except: |
| pass |
| |
| f.test_postassert(4) |
| try: |
| f.test_postassert(-4) |
| print "Failed! Method postassertion" |
| except: |
| pass |
| |
| f.test_prepost(3,4) |
| f.test_prepost(4,-3) |
| try: |
| f.test_prepost(-4,2) |
| print "Failed! Method preassertion." |
| except: |
| pass |
| |
| try: |
| f.test_prepost(4,-10) |
| print "Failed! Method postassertion." |
| except: |
| pass |
| |
| contract.Foo_stest_prepost(4,0) |
| try: |
| contract.Foo_stest_prepost(-4,2) |
| print "Failed! Static method preassertion" |
| except: |
| pass |
| |
| try: |
| contract.Foo_stest_prepost(4,-10) |
| print "Failed! Static method posteassertion" |
| except: |
| pass |
| |
| b = contract.Bar() |
| try: |
| b.test_prepost(2,-4) |
| print "Failed! Inherited preassertion." |
| except: |
| pass |
| |
| |
| d = contract.D() |
| try: |
| d.foo(-1,1,1,1,1) |
| print "Failed! Inherited preassertion (D)." |
| except: |
| pass |
| try: |
| d.foo(1,-1,1,1,1) |
| print "Failed! Inherited preassertion (D)." |
| except: |
| pass |
| try: |
| d.foo(1,1,-1,1,1) |
| print "Failed! Inherited preassertion (D)." |
| except: |
| pass |
| try: |
| d.foo(1,1,1,-1,1) |
| print "Failed! Inherited preassertion (D)." |
| except: |
| pass |
| try: |
| d.foo(1,1,1,1,-1) |
| print "Failed! Inherited preassertion (D)." |
| except: |
| pass |
| |
| |
| try: |
| d.bar(-1,1,1,1,1) |
| print "Failed! Inherited preassertion (D)." |
| except: |
| pass |
| try: |
| d.bar(1,-1,1,1,1) |
| print "Failed! Inherited preassertion (D)." |
| except: |
| pass |
| try: |
| d.bar(1,1,-1,1,1) |
| print "Failed! Inherited preassertion (D)." |
| except: |
| pass |
| try: |
| d.bar(1,1,1,-1,1) |
| print "Failed! Inherited preassertion (D)." |
| except: |
| pass |
| try: |
| d.bar(1,1,1,1,-1) |
| print "Failed! Inherited preassertion (D)." |
| except: |
| pass |
| |
| #Namespace |
| my = contract.myClass(1) |
| try: |
| my = contract.myClass(0) |
| print "Failed! constructor preassertion" |
| except: |
| pass |
| |