diff --git a/csp/csp/info.rkt b/csp/csp/info.rkt index b9324dc8..a08157b3 100644 --- a/csp/csp/info.rkt +++ b/csp/csp/info.rkt @@ -1,3 +1,4 @@ #lang info (define scribblings '(("scribblings/csp.scrbl" ()))) +(define test-omit-paths 'all) \ No newline at end of file