kylefang/stacks-puppet-node
1
0
Fork 0
mirror of https://github.com/alexgo-io/stacks-puppet-node.git synced 2026-06-15 09:07:47 +08:00
Code Issues Packages Projects Releases Wiki Activity

feat: test tuple nesting boundary conditions

Browse Source
This commit is contained in:
Jude Nelson
2022-10-29 22:16:04 -04:00
parent bf7d6d346a
commit 4dbda86262
1 changed files with 19 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
src/clarity_vm/tests/large_contract.rs
View File

@@ -1127,11 +1127,25 @@ fn test_deep_tuples() {
let stack_limit =
(AST_CALL_STACK_DEPTH_BUFFER + (MAX_CALL_STACK_DEPTH as u64) + 1) as usize;
let exceeds_stack_depth_tuple = format!(
"{}u1 {}",
"{ a : ".repeat(stack_limit + 5),
"} ".repeat(stack_limit + 5)
);
let meets_stack_depth_tuple = format!("{}u1 {}", "{ a : ".repeat(31), "} ".repeat(31));
let exceeds_stack_depth_tuple = format!("{}u1 {}", "{ a : ".repeat(32), "} ".repeat(32));
let _res = block.as_transaction(|tx| {
// basically, without the new stack depth checks in the lexer/parser,
// and without the VaryStackDepthChecker, this next call will return a checkerror
let analysis_resp = tx.analyze_smart_contract(
&contract_identifier,
*version,
&meets_stack_depth_tuple,
ASTRules::PrecheckSize,
);
eprintln!(
"analyze_smart_contract() with meets_stack_depth_tuple: {}",
analysis_resp.is_ok()
);
analysis_resp.unwrap()
});
let error = block.as_transaction(|tx| {
if *version == ClarityVersion::Clarity2 {