Mercurial > urweb
annotate tests/clib.urp @ 1215:360f1ed0a969
Implemented proper congruence closure, to the point where tests/policy works
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 08 Apr 2010 12:46:21 -0400 |
| parents | eac1974924bb |
| children |
| rev | line source |
|---|---|
| adamc@767 | 1 ffi test |
| adamc@767 | 2 include test.h |
| adamc@767 | 3 script http://localhost/test/test.js |
| adamc@767 | 4 link test.o |
| adamc@767 | 5 effectful Test.print |
| adamc@767 | 6 serverOnly Test.foo |
| adamc@767 | 7 clientOnly Test.bar |
| adamc@771 | 8 effectful Test.transactional |
| adamc@767 | 9 jsFunc Test.print=print |
| adamc@767 | 10 jsFunc Test.bar=bar |