annotate tests/crypt.ur @ 2029:dfa35ca83d92

'sql_injectable_prim' instance for 'url'
author Adam Chlipala <adam@chlipala.net>
date Sun, 15 Jun 2014 10:48:53 -0400
parents a5bfed32d4f7
children
rev   line source
adam@1397 1 fun cryptIt r = return <xml><body>
adam@1397 2 {[crypt r.Pass "AB"]}
adam@1397 3 </body></xml>
adam@1397 4
adam@1397 5 fun main () = return <xml><body>
adam@1397 6 <form><textbox{#Pass}/> <submit action={cryptIt}/></form>
adam@1397 7 </body></xml>