bigint

Thunkar · Thunkar · commit a61dda30632c · 2025-11-07T11:35:22.000+01:00
diff --git a/recursive_verification/scripts/run_recursion.ts b/recursive_verification/scripts/run_recursion.ts
@@ -117,7 +117,7 @@ async function main() {
     .simulate({ from: accounts[0].item });
   console.log(`Counter value: ${counterValue}`);
 
-  assert(counterValue === 11);
+  assert(counterValue === 11n);
 }
 
 main().catch((error) => {

Original file line number	Diff line number	Diff line change
`@@ -117,7 +117,7 @@ async function main() {`
`117`	`117`	`.simulate({ from: accounts[0].item });`
`118`	`118`	console.log(`Counter value: ${counterValue}`);
`119`	`119`
`120`		`- assert(counterValue === 11);`
	`120`	`+ assert(counterValue === 11n);`
`121`	`121`	`}`
`122`	`122`
`123`	`123`	`main().catch((error) => {`