Index: test/mjsunit/mjsunit.status |
diff --git a/test/mjsunit/mjsunit.status b/test/mjsunit/mjsunit.status |
index 8be1bf6b34c022940bbda613b8af970295cd13be..f6f68f5922e4f6b002138183cf80773f70d079ea 100644 |
--- a/test/mjsunit/mjsunit.status |
+++ b/test/mjsunit/mjsunit.status |
@@ -249,6 +249,9 @@ |
# Too slow for gc stress. |
'asm/embenchen/box2d': [SKIP], |
+ |
+ # Issue 3723. |
+ 'regress/regress-3717': [SKIP], |
}], # 'gc_stress == True' |
############################################################################## |