Module isla_axiomatic::litmus [−][src]
Modules
| exp |
Structs
| AssembledThread | |
| Litmus |
Functions
| assemble_instruction | |
| instruction_from_objdump | For error reporting it’s very helpful to be able to turn the raw opcodes we work with into actual human-readable assembly. To do this we use a regex to pair up the opcode with it’s disassembly in objdump output for the litmus test. |
| opcode_from_objdump | |
| parse_reset_registers | |
| parse_reset_value |