pj/sanderling
1
0 Fork 0
mirror of https://github.com/priyanshujain/sanderling.git synced 2026-10-02 19:17:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

docs(ci): the balance property demands a bound, not an equality

Browse Source
This commit is contained in:
pj committed 2026-08-16 01:04:12 +05:30
1 parent 18074e3bdd
commit 8fbdc0296f
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
docs/development/ci.md
+1 -1
View File
@@ -33,7 +33,7 @@ SEED=9 MAX_STEPS=200 .github/scripts/folio-run.sh android
**web and ios expect the bug.** Folio double-submits a transaction when the **web and ios expect the bug.** Folio double-submits a transaction when the
submit button is double-tapped, and two properties catch it: submit button is double-tapped, and two properties catch it:
`submitMovesBalanceByAtMostTypedAmount`, which demands the total balance move by `submitMovesBalanceByAtMostTypedAmount`, which demands the total balance move by
exactly the amount typed, and `submitCommitsOneTransactionPerAction`, which no more than the amount typed, and `submitCommitsOneTransactionPerAction`, which
demands no more transactions committed over a window than there were submit demands no more transactions committed over a window than there were submit
actions in it. A double tap is one action committing two transactions, so it actions in it. A double tap is one action committing two transactions, so it
breaks both. breaks both.