fix(test): hint_load test (#1337)

openvm-org · Feb 4, 2025 · ddbad04 · ddbad04
1 parent 57d11cb
commit ddbad04
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/.github/workflows/vm.yml b/.github/workflows/vm.yml
@@ -8,6 +8,7 @@ on:
     paths:
       - "crates/circuits/**"
       - "crates/vm/**"
+      - "extensions/native/**"
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}

diff --git a/crates/vm/tests/integration_test.rs b/crates/vm/tests/integration_test.rs
@@ -729,6 +729,7 @@ fn test_hint_load_2() {
             F::ZERO,
             0,
         ),
+        Instruction::from_isize(HINT_STOREW.global_opcode(), 32, 0, 0, 4, 4),
         Instruction::phantom(
             PhantomDiscriminant(NativePhantom::HintLoad as u16),
             F::ZERO,
@@ -748,6 +749,13 @@ fn test_hint_load_2() {
         Default::default(),
     );
     segment.execute_from_pc(0).unwrap();
+    assert_eq!(
+        segment
+            .chip_complex
+            .memory_controller()
+            .unsafe_read_cell(F::from_canonical_usize(4), F::from_canonical_usize(32)),
+        F::ZERO
+    );
     let streams = segment.chip_complex.take_streams();
     assert!(streams.input_stream.is_empty());
     assert_eq!(streams.hint_stream, VecDeque::from(vec![F::ONE]));