drdr: disable test succeed/with-linear-integer-arith2 (#1265)

capfredf · web-flow · commit fc191d4e5e9f · 2022-07-14T19:32:20.000-04:00
diff --git a/typed-racket-test/info.rkt b/typed-racket-test/info.rkt
@@ -52,6 +52,7 @@
 
 (define test-omit-paths '("fail"
                           "external/fail"
+                          "succeed/with-linear-integer-arith2.rkt" ;; FIXME: should be enabled later for drdr
                           "xfail"))
 (define test-command-line-arguments
   '(("succeed/priority-queue.scm" ())
