Examples/test-suite/schemerunme/contract.scm

   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)