@@ -11,7 +11,6 @@ use openvm_circuit::system::cuda::extensions::SystemGpuBuilder as SystemBuilder;
1111use openvm_circuit:: { arch:: RowMajorMatrixArena , system:: SystemCpuBuilder as SystemBuilder } ;
1212use openvm_circuit:: {
1313 arch:: {
14- execution_mode:: metered:: segment_ctx:: { SegmentationLimits , DEFAULT_SEGMENT_CHECK_INSNS } ,
1514 hasher:: { poseidon2:: vm_poseidon2_hasher, Hasher } ,
1615 verify_segments, verify_single, AirInventory , ContinuationVmProver ,
1716 PreflightExecutionOutput , SingleSegmentVmProver , VirtualMachine , VmCircuitConfig ,
@@ -948,41 +947,6 @@ fn test_vm_execute_native_chips() {
948947 . expect ( "Failed to execute" ) ;
949948}
950949
951- // This test ensures that metered execution never segments when continuations is disabled
952- #[ test]
953- fn test_single_segment_executor_no_segmentation ( ) {
954- setup_tracing ( ) ;
955-
956- let mut config = test_native_config ( ) ;
957- config
958- . system
959- . set_segmentation_limits ( SegmentationLimits :: default ( ) . with_max_trace_height ( 1 ) ) ;
960-
961- let engine = TestEngine :: new ( FriParameters :: new_for_testing ( 3 ) ) ;
962- let ( vm, _) =
963- VirtualMachine :: new_with_keygen ( engine, NativeBuilder :: default ( ) , config) . unwrap ( ) ;
964- let instructions: Vec < _ > = ( 0 ..2 * DEFAULT_SEGMENT_CHECK_INSNS )
965- . map ( |_| Instruction :: large_from_isize ( ADD . global_opcode ( ) , 0 , 0 , 1 , 4 , 0 , 0 , 0 ) )
966- . chain ( std:: iter:: once ( Instruction :: from_isize (
967- TERMINATE . global_opcode ( ) ,
968- 0 ,
969- 0 ,
970- 0 ,
971- 0 ,
972- 0 ,
973- ) ) )
974- . collect ( ) ;
975-
976- let exe = VmExe :: new ( Program :: from_instructions ( & instructions) ) ;
977- let executor_idx_to_air_idx = vm. executor_idx_to_air_idx ( ) ;
978- let metered_ctx = vm. build_metered_ctx ( & exe) ;
979- vm. executor ( )
980- . metered_instance ( & exe, & executor_idx_to_air_idx)
981- . unwrap ( )
982- . execute_metered ( vec ! [ ] , metered_ctx)
983- . unwrap ( ) ;
984- }
985-
986950#[ test]
987951fn test_vm_execute_metered_cost_native_chips ( ) {
988952 type F = BabyBear ;
0 commit comments