@@ -205,18 +205,24 @@ fn test_contract_caller(epoch: StacksEpochId, mut env_factory: MemoryEnvironment
205
205
ClarityVersion :: Clarity2 ,
206
206
) ;
207
207
208
+ let mut store = MemoryBackingStore :: new ( ) ;
209
+ let mut analysis_db = store. as_analysis_db ( ) ;
210
+ analysis_db. begin ( ) ;
211
+
208
212
{
209
213
let mut env = owned_env. get_exec_environment ( None , None , & mut placeholder_context) ;
210
- env. initialize_contract (
214
+ env. initialize_contract_with_db (
211
215
QualifiedContractIdentifier :: local ( "contract-a" ) . unwrap ( ) ,
212
216
contract_a,
213
217
ASTRules :: PrecheckSize ,
218
+ & mut analysis_db,
214
219
)
215
220
. unwrap ( ) ;
216
- env. initialize_contract (
221
+ env. initialize_contract_with_db (
217
222
QualifiedContractIdentifier :: local ( "contract-b" ) . unwrap ( ) ,
218
223
contract_b,
219
224
ASTRules :: PrecheckSize ,
225
+ & mut analysis_db,
220
226
)
221
227
. unwrap ( ) ;
222
228
}
@@ -357,22 +363,28 @@ fn test_tx_sponsor(epoch: StacksEpochId, mut env_factory: MemoryEnvironmentGener
357
363
panic ! ( "p2 is not a principal value" ) ;
358
364
} ;
359
365
366
+ let mut store = MemoryBackingStore :: new ( ) ;
367
+ let mut analysis_db = store. as_analysis_db ( ) ;
368
+ analysis_db. begin ( ) ;
369
+
360
370
{
361
371
let mut env = owned_env. get_exec_environment (
362
372
Some ( p1. clone ( ) ) ,
363
373
sponsor. clone ( ) ,
364
374
& mut placeholder_context,
365
375
) ;
366
- env. initialize_contract (
376
+ env. initialize_contract_with_db (
367
377
QualifiedContractIdentifier :: local ( "contract-a" ) . unwrap ( ) ,
368
378
contract_a,
369
379
ASTRules :: PrecheckSize ,
380
+ & mut analysis_db,
370
381
)
371
382
. unwrap ( ) ;
372
- env. initialize_contract (
383
+ env. initialize_contract_with_db (
373
384
QualifiedContractIdentifier :: local ( "contract-b" ) . unwrap ( ) ,
374
385
contract_b,
375
386
ASTRules :: PrecheckSize ,
387
+ & mut analysis_db,
376
388
)
377
389
. unwrap ( ) ;
378
390
}
@@ -420,18 +432,24 @@ fn test_fully_qualified_contract_call(
420
432
ClarityVersion :: Clarity2 ,
421
433
) ;
422
434
435
+ let mut store = MemoryBackingStore :: new ( ) ;
436
+ let mut analysis_db = store. as_analysis_db ( ) ;
437
+ analysis_db. begin ( ) ;
438
+
423
439
{
424
440
let mut env = owned_env. get_exec_environment ( None , None , & mut placeholder_context) ;
425
- env. initialize_contract (
441
+ env. initialize_contract_with_db (
426
442
QualifiedContractIdentifier :: local ( "contract-a" ) . unwrap ( ) ,
427
443
contract_a,
428
444
ASTRules :: PrecheckSize ,
445
+ & mut analysis_db,
429
446
)
430
447
. unwrap ( ) ;
431
- env. initialize_contract (
448
+ env. initialize_contract_with_db (
432
449
QualifiedContractIdentifier :: local ( "contract-b" ) . unwrap ( ) ,
433
450
contract_b,
434
451
ASTRules :: PrecheckSize ,
452
+ & mut analysis_db,
435
453
)
436
454
. unwrap ( ) ;
437
455
}
@@ -738,13 +756,27 @@ fn test_simple_contract_call(epoch: StacksEpochId, mut env_factory: MemoryEnviro
738
756
& mut placeholder_context,
739
757
) ;
740
758
759
+ let mut store = MemoryBackingStore :: new ( ) ;
760
+ let mut analysis_db = store. as_analysis_db ( ) ;
761
+ analysis_db. begin ( ) ;
762
+
741
763
let contract_identifier = QualifiedContractIdentifier :: local ( "factorial-contract" ) . unwrap ( ) ;
742
- env. initialize_contract ( contract_identifier, contract_1, ASTRules :: PrecheckSize )
743
- . unwrap ( ) ;
764
+ env. initialize_contract_with_db (
765
+ contract_identifier,
766
+ contract_1,
767
+ ASTRules :: PrecheckSize ,
768
+ & mut analysis_db,
769
+ )
770
+ . unwrap ( ) ;
744
771
745
772
let contract_identifier = QualifiedContractIdentifier :: local ( "proxy-compute" ) . unwrap ( ) ;
746
- env. initialize_contract ( contract_identifier, contract_2, ASTRules :: PrecheckSize )
747
- . unwrap ( ) ;
773
+ env. initialize_contract_with_db (
774
+ contract_identifier,
775
+ contract_2,
776
+ ASTRules :: PrecheckSize ,
777
+ & mut analysis_db,
778
+ )
779
+ . unwrap ( ) ;
748
780
749
781
let args = symbols_from_values ( vec ! [ ] ) ;
750
782
@@ -1135,14 +1167,28 @@ fn test_cc_stack_depth(
1135
1167
ContractContext :: new ( QualifiedContractIdentifier :: transient ( ) , version) ;
1136
1168
let mut env = owned_env. get_exec_environment ( None , None , & mut placeholder_context) ;
1137
1169
1170
+ let mut store = MemoryBackingStore :: new ( ) ;
1171
+ let mut analysis_db = store. as_analysis_db ( ) ;
1172
+ analysis_db. begin ( ) ;
1173
+
1138
1174
let contract_identifier = QualifiedContractIdentifier :: local ( "c-foo" ) . unwrap ( ) ;
1139
- env. initialize_contract ( contract_identifier, contract_one, ASTRules :: PrecheckSize )
1140
- . unwrap ( ) ;
1175
+ env. initialize_contract_with_db (
1176
+ contract_identifier,
1177
+ contract_one,
1178
+ ASTRules :: PrecheckSize ,
1179
+ & mut analysis_db,
1180
+ )
1181
+ . unwrap ( ) ;
1141
1182
1142
1183
let contract_identifier = QualifiedContractIdentifier :: local ( "c-bar" ) . unwrap ( ) ;
1143
1184
assert_eq ! (
1144
- env. initialize_contract( contract_identifier, contract_two, ASTRules :: PrecheckSize )
1145
- . unwrap_err( ) ,
1185
+ env. initialize_contract_with_db(
1186
+ contract_identifier,
1187
+ contract_two,
1188
+ ASTRules :: PrecheckSize ,
1189
+ & mut analysis_db
1190
+ )
1191
+ . unwrap_err( ) ,
1146
1192
RuntimeErrorType :: MaxStackDepthReached . into( )
1147
1193
) ;
1148
1194
}
0 commit comments