Function isla_axiomatic::litmus::parse_reset_registers

pub fn parse_reset_registers<B: BV>(
    toml: &Value, 
    symbolic_addrs: &HashMap<String, u64>, 
    symtab: &Symtab<'_>, 
    isa: &ISAConfig<B>
) -> Result<HashMap<Loc<Name>, Reset<B>>, String>