From a7537be2b6dd9e283d93f544ba3874ec0c70508a Mon Sep 17 00:00:00 2001 From: Pekka Enberg Date: Sat, 26 Apr 2025 09:38:03 +0300 Subject: [PATCH] antithesis-tests: Fix accounts to be at least one --- antithesis-tests/bank-test/first_setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/antithesis-tests/bank-test/first_setup.py b/antithesis-tests/bank-test/first_setup.py index df833b96e..86580315d 100755 --- a/antithesis-tests/bank-test/first_setup.py +++ b/antithesis-tests/bank-test/first_setup.py @@ -20,7 +20,7 @@ cur.execute(f''' # randomly create up to 100 accounts with a balance up to 1e9 total = 0 -num_accts = get_random() % 100 +num_accts = get_random() % 100 + 1 for i in range(num_accts): bal = get_random() % 1e9 total += bal