summaryrefslogtreecommitdiff
path: root/thirdparty
diff options
context:
space:
mode:
authorPouleyKetchoupp <pouleyketchoup@gmail.com>2021-11-12 13:30:54 -0700
committerPouleyKetchoupp <pouleyketchoup@gmail.com>2021-11-17 11:47:30 -0700
commit43ff9ad86f601565ecf4f3f0731f91d2b0e0a5f3 (patch)
treeb0766e752303530bd647fdacf1117459fb903043 /thirdparty
parent2b246298479ed4726f37d4cf6bc3b995bd333bbd (diff)
Fix rest_info returning no result with high margin and low motion
Apply the same logic as in test_body_motion to make sure the minimum allowed depth doesn't filter out all contacts in this case.
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions