ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-25 19:22:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

add constants to execution test

Browse Source
This commit is contained in:
evan-schott 2023-09-22 12:54:47 -07:00
parent 5262e0c743
commit 3d573f046e
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
tests/tests/execution/counter.leo
View File

@ -16,6 +16,7 @@ cases:
*/ */
program test.aleo { program test.aleo {
const SMALL:u64 = 0_1u64;
mapping counter: address => u64; mapping counter: address => u64;
transition dubble() { transition dubble() {
@ -23,7 +24,8 @@ program test.aleo {
} }
finalize dubble(addr: address) { finalize dubble(addr: address) {
let current_value: u64 = Mapping::get_or_use(counter, addr, 0_0u64); const BIG: u64 = 234u64;
let current_value: u64 = Mapping::get_or_use(counter, addr, 0_0u64 + BIG + SMALL);
Mapping::set(counter, addr, current_value + 1__u64); Mapping::set(counter, addr, current_value + 1__u64);
current_value = Mapping::get(counter, addr); current_value = Mapping::get(counter, addr);
Mapping::set(counter, addr, current_value + 0___1u64); Mapping::set(counter, addr, current_value + 0___1u64);
@ -35,6 +37,9 @@ program test.aleo {
finalize unsafe_increment(addr: address) { finalize unsafe_increment(addr: address) {
let current_value: u64 = Mapping::get(counter, addr); let current_value: u64 = Mapping::get(counter, addr);
for i:u64 in SMALL..10u64 {
current_value = current_value + 1u64;
}
Mapping::set(counter, addr, current_value + 0__1u64); Mapping::set(counter, addr, current_value + 0__1u64);
} }
} }