diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2018-05-19 16:39:49 -0400 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-05-19 16:39:49 -0400 |
| commit | 077666b77bf21054e1e1f67ba61dfbaf57525378 (patch) | |
| tree | f38f14cf8adb099d94fdc28d52c64ae879a0359d /tests/autocomp.ur | |
| parent | 30edae2956d346e7df7ca27fcc77432e45cea99e (diff) | |
| parent | 4c01511f5bf2229da7b146943444278d714ed7d6 (diff) | |
Merge pull request #123 from ashalkhakov/tests
Adding Selenium-based checking to tests.
Diffstat (limited to 'tests/autocomp.ur')
| -rw-r--r-- | tests/autocomp.ur | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/autocomp.ur b/tests/autocomp.ur index d4e6a287..753318f7 100644 --- a/tests/autocomp.ur +++ b/tests/autocomp.ur @@ -2,10 +2,10 @@ fun main () : transaction page = a <- source ""; b <- source ""; return <xml><body> - <form> - <textbox{#A} source={a}/> - <button onclick={x <- get a; set b x}/> + <ctextbox source={a}/> + <button onclick={fn _ => x <- get a; set b x}>click me</button> + <div> <dyn signal={v <- signal a; return <xml>{[v]}</xml>}/> / <dyn signal={v <- signal b; return <xml>{[v]}</xml>}/> - </form> + </div> </body></xml> |