vecdeque

TritonVM · Dec 30, 2024 · 15c7c44 · 15c7c44
1 parent df65f6e
commit 15c7c44
Show file tree

Hide file tree

Showing 11 changed files with 126 additions and 236 deletions.
diff --git a/.gitignore b/.gitignore
@@ -60,3 +60,4 @@ triton-vm/proofs/*
 
 # Ignore proptest-regression processor file caused by bug
 triton-air/proptest-regressions/table/processor.txt
+ triton-isa/proptest-regressions/op_stack.txt
diff --git a/triton-isa/proptest-regressions/op_stack.txt b/triton-isa/proptest-regressions/op_stack.txt
@@ -0,0 +1,9 @@
+# Seeds for failure cases proptest has generated in the past. It is
+# automatically read and these particular cases re-run before any
+# novel cases are generated.
+#
+# It is recommended to check this file in to source control so that
+# everyone who runs the test benefits from these saved cases.
+cc 1aba9848f7ed5ca8eadafb158a8556f275347643f66c593835cdcf8f0d65f2de # shrinks to input = _RemovingAnElementFromTheStackRemovesTheCorrectElementArgs { removal_index: ST0 }
+cc 576ed2bf621f2eee2d85b258a07bb4a20ef2c5d646ddaf4f970bff3fba1a6bdf # shrinks to input = _InsertingAnElementIntoTheStackPutsItAtTheCorrectPositionArgs { insertion_index: ST0, insertion_element: BFieldElement(0) }
+cc b51d5062351be8a8060741fa637009e4fb11553a67a5c29ff10fece1e1e9d743 # shrinks to input = _InvalidU32sCannotBeRetrievedAsU32sArgs { st: ST7, non_u32: 4294967296 }
diff --git a/triton-isa/src/instruction.rs b/triton-isa/src/instruction.rs
@@ -855,8 +855,8 @@ pub enum InstructionError {
     #[error("Triton VM has halted and cannot execute any further instructions")]
     MachineHalted,
 
-    #[error(transparent)]
-    OpStackError(#[from] OpStackError),
+   #[error(transparent)]
+   OpStackError(#[from] OpStackError),
 }
 
 /// An error giving additional context to any failed assertion.
Original file line number	Diff line number	Diff line change
Expand Up		@@ -60,3 +60,4 @@ triton-vm/proofs/*

		# Ignore proptest-regression processor file caused by bug
		triton-air/proptest-regressions/table/processor.txt
		triton-isa/proptest-regressions/op_stack.txt