Add runtest for contract.
git-svn-id: https://swig.svn.sourceforge.net/svnroot/swig/trunk/SWIG@5378 626c5289-ae23-0410-ae9c-e8d60b6d4f22
This commit is contained in:
parent
fee1c96c6e
commit
a0c9c690e4
1 changed files with 20 additions and 0 deletions
20
Examples/test-suite/guile/contract_runme.scm
Normal file
20
Examples/test-suite/guile/contract_runme.scm
Normal file
|
|
@ -0,0 +1,20 @@
|
|||
;; The SWIG modules have "passive" Linkage, i.e., they don't generate
|
||||
;; Guile modules (namespaces) but simply put all the bindings into the
|
||||
;; current module. That's enough for such a simple test.
|
||||
(dynamic-call "scm_init_contract_module" (dynamic-link "./libcontract.so"))
|
||||
(load "testsuite.scm")
|
||||
|
||||
(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))
|
||||
|
||||
(quit)
|
||||
Loading…
Add table
Add a link
Reference in a new issue