> +# This file is part of the GDB testsuite.  it tests the functionality of
> +# the maintenance print record-instruction command, but does not check the
> +# syntax, only if the command finds or fails to find recorded history.
> +
> +if ![supports_reverse] {
> +    return
> +}
> +
>

I think this patch is good to go in general.
 But it might be nice to add a small summary about how the test works as a
comment at the beginning of the test?

Regards,
Alexandra