Hello, thanks for your response!
Inspired by this I ended up using GetModelOptions to implement checking for slave error (my VC is a Wishbone master), and this appears to work as intended:
-- Test invalid register in slave (raise slave error)
ReadCheck(TransRec, x"100FF", x"0000");
GetModelOptions(TransRec, WISHBONE_OPT_ERR, BoolOpt);
AffirmIfEqual(BoolOpt, TRUE, "Expected slave error: ");
And in the VC:
when GET_MODEL_OPTIONS =>
case TransRec.Options is
when WISHBONE_OPT_ERR =>
TransRec.BoolFromModel <= ??wbm_i.wb_err; -- VHDL-2008 operator to convert std_logic to boolean
when others => null;
end case;