a16z/jolt

Refactor tests for virtual instruction sequences

Closed this issue · 0 comments

Write a test macro or util function for virtual sequences, similar to the jolt_instruction_test macro

Then refactor the tests for DIV, DIVU, MUL, MULHSU, REM, and REMU to use the new macro/function