/trunk/Examples/test-suite/schemerunme/contract.scm
Lisp | 14 lines | 13 code | 1 blank | 0 comment | 0 complexity | 557fbab81a91135ac3d4d751e5acfe95 MD5 | raw file
Possible License(s): LGPL-2.1, Cube, GPL-3.0, 0BSD, GPL-2.0
- (test-preassert 1 2)
- (expect-throw 'swig-contract-assertion-failed
- (test-preassert -1 2))
- (test-postassert 3)
- (expect-throw 'swig-contract-assertion-failed
- (test-postassert -3))
- (test-prepost 2 3)
- (test-prepost 5 -4)
- (expect-throw 'swig-contract-assertion-failed
- (test-prepost -3 4))
- (expect-throw 'swig-contract-assertion-failed
- (test-prepost 4 -10))
- (exit 0)