PageRenderTime 8ms CodeModel.GetById 2ms app.highlight 3ms RepoModel.GetById 1ms app.codeStats 0ms

/trunk/Examples/test-suite/schemerunme/contract.scm

#
Lisp | 14 lines | 13 code | 1 blank | 0 comment | 0 complexity | 557fbab81a91135ac3d4d751e5acfe95 MD5 | raw file
 1(test-preassert 1 2)
 2(expect-throw 'swig-contract-assertion-failed
 3	      (test-preassert -1 2))
 4(test-postassert 3)
 5(expect-throw 'swig-contract-assertion-failed
 6	      (test-postassert -3))
 7(test-prepost 2 3)
 8(test-prepost 5 -4)
 9(expect-throw 'swig-contract-assertion-failed
10	      (test-prepost -3 4))
11(expect-throw 'swig-contract-assertion-failed
12	      (test-prepost 4 -10))
13
14(exit 0)