Add timing of collision phases.

PiperOrigin-RevId: 572273621 Change-Id: Ib9440a996a05e42e00dcf4f1ce487a12f65e999b
2023-10-10 09:25:30 -07:00
parent 7cd6b3db73
commit 8af09eb70d
7 changed files with 50 additions and 7 deletions
@@ -440,7 +440,10 @@ ENUMS: Mapping[str, EnumDecl] = dict([
             ('mjTIMER_POS_COLLISION', 10),
             ('mjTIMER_POS_MAKE', 11),
             ('mjTIMER_POS_PROJECT', 12),
-             ('mjNTIMER', 13),
+             ('mjTIMER_COL_BROAD', 13),
+             ('mjTIMER_COL_MID', 14),
+             ('mjTIMER_COL_NARROW', 15),
+             ('mjNTIMER', 16),
         ]),
     )),
    ('mjtCatBit',
@@ -3647,7 +3647,7 @@ STRUCTS: Mapping[str, StructDecl] = dict([
                 name='timer',
                 type=ArrayType(
                     inner_type=ValueType(name='mjTimerStat'),
-                     extents=(13,),
+                     extents=(16,),
                 ),
                 doc='timer statistics',
             ),