Format memory warning in human-friendly way.

PiperOrigin-RevId: 486610408
Change-Id: I6beecb12059e69f4407e921d20efc54ce6b3f491
This commit is contained in:
Alessio Quaglino
2022-11-07 02:55:37 -08:00
committed by Copybara-Service
parent fc24097b92
commit fd4d47e4a5
11 changed files with 107 additions and 29 deletions
+3
View File
@@ -1095,6 +1095,9 @@ MJAPI const char* mju_type2Str(int type);
// Convert type name to type id (mjtObj).
MJAPI int mju_str2Type(const char* str);
// Return human readable number of bytes using standard letter suffix.
MJAPI const char* mju_writeNumBytes(const size_t nbytes);
// Construct a warning message given the warning type and info.
MJAPI const char* mju_warningText(int warning, size_t info);