Fix vpi_get_value() error message when passing unsupported vpiHandle. (#2378)

This commit is contained in:
Ludwig Rogiers 2020-05-29 22:10:22 +10:00 committed by GitHub
parent 8ddafb4d9f
commit 460315128b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1600,8 +1600,8 @@ void vpi_get_value(vpiHandle object, p_vpi_value value_p) {
VerilatedVpiError::strFromVpiVal(value_p->format), vop->fullname());
return;
}
_VL_VPI_ERROR(__FILE__, __LINE__, "%s: Unsupported format %s", VL_FUNC,
VerilatedVpiError::strFromVpiVal(value_p->format));
_VL_VPI_ERROR(__FILE__, __LINE__, "%s: Unsupported vpiHandle (%p)", VL_FUNC, object);
}
vpiHandle vpi_put_value(vpiHandle object, p_vpi_value value_p, p_vpi_time /*time_p*/,