diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-12-27 12:10:03 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-12-27 12:10:03 -0500 |
commit | d99d4f09bb2947a09eb6e1c12057bd805dac070c (patch) | |
tree | 85f0265a4778128dee390ef80d943cc6c5b0669f /tests/channelThief.urs | |
parent | aea9e6db8a7a72dd555913a38cb893d247c3c09e (diff) |
Raise exception when recv()ing from someone else's channel; improve setting of client ID in RPCs
Diffstat (limited to 'tests/channelThief.urs')
-rw-r--r-- | tests/channelThief.urs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/channelThief.urs b/tests/channelThief.urs new file mode 100644 index 00000000..6ac44e0b --- /dev/null +++ b/tests/channelThief.urs @@ -0,0 +1 @@ +val main : unit -> transaction page |