diff options
Diffstat (limited to 'tests/oracle/faults.aup')
| -rw-r--r-- | tests/oracle/faults.aup | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tests/oracle/faults.aup b/tests/oracle/faults.aup new file mode 100644 index 0000000..cb91f17 --- /dev/null +++ b/tests/oracle/faults.aup @@ -0,0 +1,22 @@ +# Each input fails on some presses; a failed event changes nothing. +state q = 1 +state r = 0 +state s = 5 +input divide = key KeyD +input grow = key KeyG +input bound = key KeyB +view shown = r + +on divide.down { + r = r + 1 + q = 10 / (q - 1) +} + +on grow.down { + s = s * 1e200 +} + +on bound.down { + r = r + 1 + s = clamp(s, r, 3) +} |
