added spec_is_ptr_equal to testing framework