{include:preamble}
TARGET: {op_name} from vyre/src/ops/primitive/{file}.rs
PROPERTY: The op must return {expected} when given inputs {inputs}.
ORACLE: Spec table row from {spec_path}:{line}
CATEGORY: {category}
REQUIRED:
- The test MUST call the op via ir::Program, not via the cpu.rs direct function.
- The test MUST lower the Program and run it through the reference interpreter.
- The test MUST assert byte-equality with {expected}.
- The test MUST be named `test_{op}_{input_desc}_spec_table`.
FORBIDDEN:
- DO NOT derive the expected value from calling the function.
- DO NOT use proptest, quickcheck, or random inputs. This is a specific-input test.
- DO NOT add helper functions. Inline everything.
- DO NOT test multiple properties in one test.
Your test will be mutation-graded. If I delete the `{op}` case from the
primitive/{file}.rs dispatch and your test still passes, the test is rejected.
Output: ONE #[test] function. Nothing else.