160 // assert/guarantee-specific message it also prints out the values of

   160 // assert/guarantee-specific message it also prints out the values of

   161 // the fields of the associated set. This can be very helpful in

   161 // the fields of the associated set. This can be very helpful in

   162 // diagnosing failures.

   162 // diagnosing failures.

   163 class hrs_ext_msg : public hrs_err_msg {

   163 class hrs_ext_msg : public hrs_err_msg {

   164 public:

   164 public:

   166     set->fill_in_ext_msg(this, message);

   166     set->fill_in_ext_msg(this, message);

   167   }

   167   }

   168 };

   168 };

   169 

   169 

   170 #define hrs_assert_sets_match(_set1_, _set2_)                                 \

   170 #define hrs_assert_sets_match(_set1_, _set2_)                                 \