pages / fix / n_600e4b7f520ccfd8

fix

door Review the FPGA program with the genie auditor opens graded to armed (hop recorded)

of grid fpga (a .genie program) · the program grid_fpga · CC-BY-4.0

sealed cases that reached it: 0 — sealed cases that reached this word (the store counts, never reads)

fixes

• wants armed: Graded and sealed as a case

requires

nothing