PageRenderTime 41ms CodeModel.GetById 18ms RepoModel.GetById 0ms 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
Possible License(s): LGPL-2.1, Cube, GPL-3.0, 0BSD, GPL-2.0
  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. (exit 0)