Mercurial > urweb
annotate tests/clib.urp @ 1034:a779402841f6
Hooks for measuring how much interesting proving is going on in elaboration
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 17 Nov 2009 12:44:14 -0500 |
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 |