blob: 5cb92bd85d0c52d301e1118630ac3111723ca62d (
plain)
1
2
3
4
5
6
7
8
9
10
|
# req-097
Every interface in Schist for viewing drips of a given bucket, `bucket`, must be
such that, were Schist to run the procedure,
`update_bucket_drips_for_bucket(bucket)`, as described in req-037, it would not
change what the user sees in their UI.
Source: req-095
Satisfied by: task-061, task-062, ass-023, ass-009
|
