[−][src]Module isla_axiomatic::litmus

Structs

Loc
Prop

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