From 28808d0390eff65b3b9c039398c5a7362c38972c Mon Sep 17 00:00:00 2001 From: AneesHl Date: Mon, 19 Feb 2024 22:54:29 +0100 Subject: [PATCH] additional improvements for the "Banking" C benchmark --- C/Savina/src/concurrency/Banking.lf | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/C/Savina/src/concurrency/Banking.lf b/C/Savina/src/concurrency/Banking.lf index 5794427..185733f 100644 --- a/C/Savina/src/concurrency/Banking.lf +++ b/C/Savina/src/concurrency/Banking.lf @@ -85,7 +85,7 @@ preamble {= =} -reactor Teller(numAccounts:int=1000, numBankings:int=50000) { +reactor Teller(numAccounts:size_t=1000, numBankings:size_t=50000) { preamble {= long seed = 123456; @@ -191,9 +191,9 @@ reactor Account(bank_index:size_t=0, numAccounts:size_t=1000, numTransactions:si } /* [[[cog - cog.outl(f'main reactor (numIterations:int={numIterations}, numTransactions:int={numTransactions}, numAccounts:int={numAccounts})') + cog.outl(f'main reactor (numIterations:size_t={numIterations}, numTransactions:size_t={numTransactions}, numAccounts:size_t={numAccounts})') ]]] */ - main reactor (numIterations:int=12, numTransactions:int=50000, numAccounts:int=1000) + main reactor (numIterations:size_t=12, numTransactions:size_t=50000, numAccounts:size_t=1000) /// [[[end]]] { teller = new Teller(numAccounts=numAccounts, numBankings=numTransactions);