src/testsuite.lisp

   1 ;;********************************************************
   2 ;; file:        testsuite.lisp
   3 ;; description: Initialize the list of testsuite files
   4 ;; date:        Tue Dec 18 2018 - 14:38
   5 ;; author:      Various
   6 ;;********************************************************
   7
   8 (in-package :maxima)
   9
  10 ;;; The Maxima test suite is defined to be the sum of all the tests in
  11 ;;; the files listed in the Maxima option variable $testsuite_files.
  12 ;;; Each entry can either be a plain file name (minus extension), e.g.,
  13 ;;; "testfile.mac", or a Maxima list containing a file name followed by
  14 ;;; another Maxima list of the numbers of the test problems that are
  15 ;;; expected to fail, e.g.  ((mlist simp) "testfile.mac" ((mlist) 7 9 13)).
  16 (defparameter $testsuite_files
  17       `((mlist simp)
  18         "rtest_extensions"
  19         ((mlist simp) "rtest_rules"
  20          #+allegro ((mlist simp) 11 13))
  21         "rtestnset"
  22         ;; ACL 10.1 cannot load stringproc as it has no (get-encoding) function.
  23         #-allegro
  24         ((mlist simp) "rtest1"
  25          ((mlist simp) 183 185 186))
  26         ((mlist simp) "rtest1a" ((mlist simp) 33))
  27         ((mlist simp) "rtest2" ((mlist simp) 86 95))
  28         "rtest4"
  29         ;; Mark tests that require the documentation as known failures
  30         ;; if this was a lisp-only build
  31         ((mlist simp) "rtest5"
  32                  ,@(and (boundp '*autoconf-lisp-only-build*)
  33                         (symbol-value '*autoconf-lisp-only-build*)
  34                         (list (list '(mlist simp) 80))))
  35         ;; 46 = ECL bug #437: mishandling float format
  36         ;; 45 sporadically fails in all tested ECL versions (15.3.7-16.1.3)
  37         ;; 43 fails in ECL up to version 15.3.7
  38         ((mlist simp) "rtest6"
  39          #+ecl ((mlist simp) 46))
  40         "rtest6a"
  41         "rtest6b"
  42         "rtest7"
  43         "rtest9"
  44         ((mlist simp) "rtest9a"
  45          #+allegro ((mlist simp) 24 27 30 31 35 36 47 48 51 52 55 56 59 60 63 64 67 68 71 72))
  46         ((mlist simp) "rtest10" ((mlist simp) 24 25))
  47         ((mlist simp) "rtest11"
  48          #+allegro ((mlist simp) 136 137 158 174)
  49          #+ccl64 ((mlist simp) 158 174))
  50         "rtest13"
  51         "rtest13s"
  52         ;; ECL 16.1.2 still reliably fails in #307 + #310
  53         ;; and sporadically in 201, 234, 249, 250, 251, 252, 267, 297, 298, 312, 315
  54         ;; and 319
  55         ;; ECL 13.5.1 sporadically fails in 233
  56         ((mlist simp) "rtest14")
  57         "rtest15"
  58         ;; ccl versions 1.11 and earlier fail test 50.  Mark it as a
  59         ;; known failure.  Presumably 1.12 will have this fixed.
  60         ;; Test 561 tickles bug in ECL if signed zero enabled; see ECL
  61         ;; bug #329. Fixed post-16.1.3.
  62         ;; Test 50 still sometimes fails in ecl 16.1.2
  63         ((mlist simp) "rtest16"
  64          #-(or ecl allegro) ((mlist simp) 524 525)
  65          #+ecl ((mlist simp) 524 525)
  66          #+allegro ((mlist simp) 50 241 524 525))
  67         "rtestode"
  68         "rtestode_zp"
  69         ((mlist simp) "rtest3" ((mlist simp) 146))
  70         ;; ECL 16.1.2 still fails in #104
  71         ((mlist simp) "rtest8")
  72         "rtest12"
  73         "rexamples"
  74         ((mlist simp) "rtesthyp"
  75          ((mlist simp) 105 112 113 123 124 128))
  76         ((mlist simp) "rtest_hypgeo"
  77          ((mlist simp) 143))
  78         "rtestmt19937"
  79         "rtest_allnummod"
  80         ((mlist simp) "rtest_maxmin"
  81                 ((mlist simp) 16 17 40 52 53 57 97 109))
  82         "rtestconjugate"
  83         ((mlist simp) "rtestsum"
  84          ((mlist simp) 23 24 38 95))
  85         ;; Tested with acl 10.1
  86         ((mlist simp) "rtest_trig"
  87          #+allegro ((mlist simp) 58))
  88         "rtest_zeta"
  89         "rtest_diff_invtrig"
  90         "rtest_scalarp"
  91         "rtest_everysome"
  92         ((mlist simp) "rtestint"
  93          ((mlist simp) 232))
  94         "rtest_numth"
  95         "rtestifactor"
  96         ((mlist simp) "rtest_equal"
  97          ((mlist simp) 157 160))
  98         "rtest_abs"
  99         ((mlist simp) "rtest_taylor"
 100          ((mlist simp) 88 91 97 104 128 129))
 101         ((mlist simp) "rtest_dot")
 102         "rtest_mset"
 103         "rtest_boolean"
 104         "rtest_round"
 105         ((mlist simp) "rtest_map"
 106          ((mlist simp) 2 3 4))
 107         ((mlist simp) "rtest_sign"
 108          ((mlist simp) 21 25 30 40 65 72 79))
 109         "rtest_algebraic"
 110         ;; Using the gcl version 2.6.14 the tests pass.
 111         ;;
 112         ;; On ECL 15.3.7 (but not on ECL versions from 2014 or 2016) rtest_gamma
 113         ;; most of the times crashes on ia32 and sometimes crashes on x64.
 114         ((mlist simp) "rtest_gamma"
 115          #+allegro   ((mlist simp) 48 198 663 745))
 116         "rtest_expintegral"
 117         "rtest_signum"
 118         "rtest_lambert_w"
 119         ((mlist simp) "rtest_elliptic"
 120          #-allegro ((mlist simp) 135 149)
 121          #+allegro ((mlist simp) 92 135 149))
 122         "rtest_integrate"
 123         "rtest_integrate_special"
 124         ((mlist simp) "rtest_sqrt"
 125          ((mlist simp) 89))
 126         ((mlist simp) "rtest_carg"
 127          ((mlist simp) 40 41))
 128         ((mlist simp) "rtest_log")
 129         ((mlist simp) "rtest_power"
 130          ((mlist simp) 19 20 26))
 131         "rtestdefstruct"
 132         ;; Tested with acl 10.1
 133         ((mlist simp) "rtest_limit"
 134          #+allegro ((mlist simp) 184 185))
 135         "rtest_powerseries"
 136         ((mlist simp) "rtest_laplace"
 137          ((mlist simp) 29 49 50 51 59 60 61 62 78 80))
 138         "rtest_plotoptions"
 139         "rtest_algsys"
 140         "rtest_trace"
 141         "rtest_polynomialp"
 142         ((mlist simp) "rtest_limit_extra"
 143           ((mlist simp)  42 52 53 59 61 64 67 80 82 83 84 89
 144                          94 96 98 102 104 106 108 111
 145                          124 125 126 127 132 133 135 136 137))
 146         "rtest_gcd"
 147         ;; The tests that failed with abcl 1.5.0
 148         ((mlist simp) "rtest_hg"
 149          #+(or gcl abcl) ((mlist simp) 87 120)
 150          #-(or gcl abcl) ((mlist simp) 87))
 151         ((mlist simp) "rtest_nfloat"
 152          #-gcl((mlist simp) 25))
 153         ((mlist simp) "rtest_ilt")
 154         ((mlist simp) "ulp_tests"
 155          ;; Clisp doesn't have denormals
 156          #+clisp
 157          ((mlist simp) 10 42 49))))
 158
 159 ;; The list of share testsuite files. As they are given without a path
 160 ;; this assumes that file_search_tests is set appropriately so that maxima
 161 ;; can actually find these files. (file_search_maxima is a good choice.)
 162 (defparameter $share_testsuite_files
 163   '((mlist simp)
 164     "rtest_orthopoly"
 165     "rtest_pslq"
 166     "rtestflatten"
 167     "rtest_z_transform"
 168     "rtest_zeilberger_extreme"
 169     "rtest_zeilberger"
 170     "rtest_boolsimp"
 171     "rtest_eigen"
 172     "rtest_lsquares"
 173     "rtest_pytranslate"
 174
 175     ;; Omit tests in share/contrib/diffequations/tests.
 176     ;; To run those tests: load ("setup_tests.mac");
 177     ;; and then: run_testsuite ();
 178     ;; (setup_tests assigns the list of ODE tests to testsuite_files)
 179
 180     "rtest_odelin"
 181     "rtestezunits"
 182     ;; ACL 10.1 cannot load stringproc as it has no (get-encoding) function.
 183     #-allegro
 184     "rtest_numericalio"
 185     ((mlist simp) "rtest_simplify_sum"
 186      ((mlist simp) 57))
 187     "rtest_solve_rec"
 188     ;; ACL 10.1 cannot load stringproc as it has no (get-encoding) function.
 189     #-allegro
 190     ((mlist simp) "rtest_stringproc")
 191     #-allegro
 192     ((mlist simp) "rtest_md5sum")
 193     "rtest_opproperties"
 194     "rtest_stats"
 195     "rtest_distrib"
 196     ((mlist simp) "rtest_descriptive"
 197      ;; Tests that failed for ACL 10.1
 198      #+allegro
 199      ((mlist simp) 98 99 109 110))
 200     "rtest_interpol"
 201     ((mlist simp) "rtest_levin"
 202      ;; Tested with allegro 10.1
 203      #+allegro ((mlist simp) 71 75 77))
 204     "rtest_fractals"
 205     "rtest_bernstein"
 206     "rtest_atensor"
 207     "rtest_ctensor"
 208     "rtest_itensor"
 209     ;; On sbcl 1.4.10 we still get out-of-memory errors on many
 210     ;; computers on loading lapack => commented these tests out
 211     ;; for SBCL.
 212     ;;
 213     ;;  The following functions were used but not defined: ODEPACK::DUMACH in gcl 2.6.12
 214     ;;  and abcl 1.5.0
 215
 216     #-sbcl
 217     ((mlist simp) "rtest_dgeqrf")
 218     #-sbcl
 219     ((mlist simp) "rtest_dgesv")
 220     ;;  The following functions were used but not defined: ODEPACK::DUMACH in gcl 2.6.12
 221     ;;  and abcl 1.5.0
 222     #-abcl
 223     "rtest_dlsode"
 224     ((mlist simp) "rtest_fourier_elim"
 225      ((mlist simp) 146 147 148 149))
 226     ((mlist simp) "rtest_sequence"
 227      ((mlist simp) 55))
 228     "rtest_cholesky"
 229     "rtest_eigens_by_jacobi"
 230     "rtest_lu"
 231     "rtest_linalg"
 232     "rtest_matrixexp"
 233     ((mlist simp) "rtest_romberg"
 234      ((mlist simp) 18 20))
 235     "rtest_wilcoxon"
 236     "rtest_bitwise"
 237     "rtest_gf"
 238     "rtest_arag"
 239     ((mlist simp) "rtest_pdiff"
 240      #-(or ccl cmucl ecl sbcl gcl clisp)
 241      ((mlist simp) 62))
 242     ((mlist simp) "rtest_to_poly"
 243      #-(or abcl ccl cmucl sbcl gcl ecl clisp)
 244      ((mlist simp) 13 14 15 16 17 18 19 20 25))
 245 ;; Tested with acl 10.1
 246     ((mlist simp) "rtestprintf"
 247      #+allegro
 248      ((mlist simp) 1 2 3 4 5 6 7 8 9 10 11 12 13 14
 249       15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
 250       35 37 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 57
 251       58 59 66 67 68)
 252      #+ecl
 253      ;; ECL 22.2.1 results
 254      ((mlist simp) 61 63 65 69)
 255      #+clisp
 256      ((mlist simp) 27 38 61 63 65 69)
 257      #+gcl
 258      ((mlist simp) 7 29 38 39 40 48 61)
 259      ;; The tests that failed with abcl 1.5.0
 260      #+abcl
 261      ((mlist simp) 38 40 61 63 65 69)
 262      #+ccl
 263      ((mlist simp) 27 61)
 264      #+cmucl
 265      ((mlist simp) 61)
 266      #-(or clisp cmucl gcl ecl abcl ccl allegro)
 267      ((mlist simp) 38 61 63 65 69)
 268      )
 269     "rtest_simplex"
 270     ((mlist simp) "rtest_graphs"
 271      ;; Tested with acl 10.1
 272      #+allegro ((mlist simp) 3 4 5))
 273     ((mlist simp) "rtest_abs_integrate" ((mlist) 177 253))
 274     "rtest_pochhammer"
 275     ((mlist simp) "rtest_to_poly_solve"
 276      ((mlist simp) 64 74 80 116 140 141 168 184 242 245 322))
 277     ((mlist simp) "rtest_sym"
 278      #-(or sbcl gcl clisp cmucl ecl) ((mlist simp) 15 64)
 279      #+clisp  ((mlist simp) 15 64)
 280      #+sbcl ((mlist simp) 15 64))
 281     "rtest_mnewton"
 282     "rtest_solve_rat_ineq"
 283     ((mlist simp) "rtest_vect"
 284      #-(or cmucl gcl ecl)
 285      ((mlist simp) 4 9 10 13 16 19 20 21 24 25)
 286      #+(or cmucl ecl gcl)
 287      ((mlist simp) 4 9 10 13 16 20 21 24 25))
 288      "rtest_antid"
 289      "rtest_bffac"
 290      "rtest_diff_form"
 291      "rtest_grobner"
 292      ((mlist simp) "rtest_finance"
 293       ;; Tested with acl 10.1
 294       #+allegro
 295       ((mlist simp) 9 10 11))
 296      "rtest_fft"
 297      "rtest_rfft"
 298      "rtest_decfp"
 299      "rtest_wrstcse"
 300      ;; ACL 10.1 cannot load stringproc as it has no (get-encoding) function.
 301      #-(or ecl abcl)
 302      "rtest_draw"
 303      ((mlist simp) "rtest_engineering_format"
 304       #+abcl
 305       ((mlist simp) 6)
 306       #+ccl
 307       ((mlist simp) 6 8 10 12)
 308       ;; Tested with acl 10.1
 309       #+allegro
 310       ((mlist simp) 1 6 8 10 12 14))
 311      )
 312     )