[AutoDiff] Disable failing test: SR-13250.

dan-zheng · dan-zheng · commit e6974e5e808d · 2020-07-18T14:46:43.000-07:00
diff --git a/test/AutoDiff/validation-test/differentiable_protocol_requirements.swift b/test/AutoDiff/validation-test/differentiable_protocol_requirements.swift
@@ -1,6 +1,9 @@
 // RUN: %target-run-simple-swift
 // REQUIRES: executable_test
 
+// Disabled due to test failure with `-O`: SR-13250.
+// REQUIRES: SR13250
+
 import StdlibUnittest
 import DifferentiationUnittest
 
