tests/rtest_trace.mac

   1 /* Tests for Maxima's trace and timer */
   2
   3 (kill (all),
   4  0);
   5 0;
   6
   7 /* Bug #3247: Maxima's trace and timer handle rules incorrectly */
   8
   9 (kill (r),
  10  defrule (r, foo, bar),
  11  0)$
  12 0;
  13
  14 (trace (r),
  15  trace_options (r, noprint),
  16  0)$
  17 0;
  18
  19 /* This used to return foo */
  20 apply1 (foo, r);
  21 'bar;
  22
  23 untrace (r)$
  24 [r];
  25
  26 timer (r)$
  27 [r];
  28
  29 /* This also used to return foo */
  30 apply1 (foo, r);
  31 'bar;
  32
  33 (untimer (r),
  34  kill (r),
  35  0);
  36 0;
  37
  38 /* Bug #2803: trace/timer do not work for functions with quoted arguments
  39  *
  40  * Here we test some traced and timed functions that have different
  41  * combinations of quoted and rest args.  The timer tests are actually
  42  * redundant since trace and timer didn't require separate fixes.
  43  */
  44
  45 /* Watch out for extra evaluations */
  46 ([a, b, c, d] : [u, v, w, x],
  47  [u, v, w, x] : [1, 2, 3, 4],
  48  0)$
  49 0;
  50
  51 (f1 ('x) := x,
  52  0);
  53 0;
  54
  55 (trace (f1),
  56  trace_options (f1, noprint),
  57  0);
  58 0;
  59
  60 f1 (a);
  61 'a;
  62
  63 f1 (error ());
  64 '(error ());
  65
  66 (untrace (f1),
  67  0);
  68 0;
  69
  70 (timer (f1),
  71  0);
  72 0;
  73
  74 f1 (a);
  75 'a;
  76
  77 f1 (error ());
  78 '(error ());
  79
  80 (kill (f1),
  81  0);
  82 0;
  83
  84 (f2 (['x]) := x,
  85  0);
  86 0;
  87
  88 (trace (f2),
  89  trace_options (f2, noprint),
  90  0);
  91 0;
  92
  93 f2 ();
  94 [];
  95
  96 f2 (a, b, c, d);
  97 ['a, 'b, 'c, 'd];
  98
  99 f2 (error (), error (), error (), error ());
 100 ['(error ()), '(error ()), '(error ()), '(error ())];
 101
 102 (untrace (f2),
 103  0);
 104 0;
 105
 106 (timer (f2),
 107  0);
 108 0;
 109
 110 f2 ();
 111 [];
 112
 113 f2 (a, b, c, d);
 114 ['a, 'b, 'c, 'd];
 115
 116 f2 (error (), error (), error (), error ());
 117 ['(error ()), '(error ()), '(error ()), '(error ())];
 118
 119 (kill (f2),
 120  0);
 121 0;
 122
 123 (f3 ('x, y, z) := [x, y, z],
 124  0);
 125 0;
 126
 127 (trace (f3),
 128  trace_options (f3, noprint),
 129  0);
 130 0;
 131
 132 f3 (a, b, c);
 133 ['a, 'v, 'w];
 134
 135 f3 (error (), b, c);
 136 ['(error ()), 'v, 'w];
 137
 138 (untrace (f3),
 139  0);
 140 0;
 141
 142 (timer (f3),
 143  0);
 144 0;
 145
 146 f3 (a, b, c);
 147 ['a, 'v, 'w];
 148
 149 f3 (error (), b, c);
 150 ['(error ()), 'v, 'w];
 151
 152 (kill (f3),
 153  0);
 154 0;
 155
 156 (f4 ('x, y, [z]) := [x, y, z],
 157  0);
 158 0;
 159
 160 (trace (f4),
 161  trace_options (f4, noprint),
 162  0);
 163 0;
 164
 165 f4 (a, b);
 166 ['a, 'v, []];
 167
 168 f4 (a, b, c, d);
 169 ['a, 'v, ['w, 'x]];
 170
 171 f4 (error (), b, c, d);
 172 ['(error ()), 'v, ['w, 'x]];
 173
 174 (untrace (f4),
 175  0);
 176 0;
 177
 178 (timer (f4),
 179  0);
 180 0;
 181
 182 f4 (a, b);
 183 ['a, 'v, []];
 184
 185 f4 (a, b, c, d);
 186 ['a, 'v, ['w, 'x]];
 187
 188 f4 (error (), b, c, d);
 189 ['(error ()), 'v, ['w, 'x]];
 190
 191 (kill (f4),
 192  0);
 193 0;
 194
 195 (f5 (x, 'y, [z]) := [x, y, z],
 196  0);
 197 0;
 198
 199 (trace (f5),
 200  trace_options (f5, noprint),
 201  0);
 202 0;
 203
 204 f5 (a, b);
 205 ['u, 'b, []];
 206
 207 f5 (a, b, c, d);
 208 ['u, 'b, ['w, 'x]];
 209
 210 f5 (a, error (), c, d);
 211 ['u, '(error ()), ['w, 'x]];
 212
 213 (untrace (f5),
 214  0);
 215 0;
 216
 217 (timer (f5),
 218  0);
 219 0;
 220
 221 f5 (a, b);
 222 ['u, 'b, []];
 223
 224 f5 (a, b, c, d);
 225 ['u, 'b, ['w, 'x]];
 226
 227 f5 (a, error (), c, d);
 228 ['u, '(error ()), ['w, 'x]];
 229
 230 (kill (f5),
 231  0);
 232 0;
 233
 234 (f6 (x, y, ['z]) := [x, y, z],
 235  0);
 236 0;
 237
 238 (trace (f6),
 239  trace_options (f6, noprint),
 240  0);
 241 0;
 242
 243 f6 (a, b);
 244 ['u, 'v, []];
 245
 246 f6 (a, b, c, d);
 247 ['u, 'v, ['c, 'd]];
 248
 249 f6 (a, b, error (), error ());
 250 ['u, 'v, ['(error ()), '(error ())]];
 251
 252 (untrace (f6),
 253  0);
 254 0;
 255
 256 (timer (f6),
 257  0);
 258 0;
 259
 260 f6 (a, b);
 261 ['u, 'v, []];
 262
 263 f6 (a, b, c, d);
 264 ['u, 'v, ['c, 'd]];
 265
 266 f6 (a, b, error (), error ());
 267 ['u, 'v, ['(error ()), '(error ())]];
 268
 269 (kill (f6),
 270  0);
 271 0;
 272
 273 (f7 ('x, 'y, ['z]) := [x, y, z],
 274  0);
 275 0;
 276
 277 (trace (f7),
 278  trace_options (f7, noprint),
 279  0);
 280 0;
 281
 282 f7 (a, b);
 283 ['a, 'b, []];
 284
 285 f7 (a, b, c, d);
 286 ['a, 'b, ['c, 'd]];
 287
 288 f7 (error (), error (), error (), error ());
 289 ['(error ()), '(error ()), ['(error ()), '(error ())]];
 290
 291 (untrace (f7),
 292  0);
 293 0;
 294
 295 (timer (f7),
 296  0);
 297 0;
 298
 299 f7 (a, b);
 300 ['a, 'b, []];
 301
 302 f7 (a, b, c, d);
 303 ['a, 'b, ['c, 'd]];
 304
 305 f7 (error (), error (), error (), error ());
 306 ['(error ()), '(error ()), ['(error ()), '(error ())]];
 307
 308 (kill (f7),
 309  0);
 310 0;
 311
 312 (kill (a, b, c, d, u, v, w, x),
 313  0);
 314 0;
 315
 316 /* SF bug #3963: "trace doesn't detect calls to functions defined by DEFMFUN in Lisp code" */
 317
 318 (S: make_string_output_stream (),
 319  untrace (atom),
 320  with_stdout (S, atom(1)),
 321  get_output_stream_string (S));
 322 "";
 323
 324 (trace (atom),
 325  with_stdout (S, atom(1)),
 326  get_output_stream_string (S));
 327 "1 Enter atom [1]
 328 1 Exit  atom true
 329 ";
 330
 331 (untrace (atom),
 332  trace (?rischint),
 333  with_stdout (S, block ([display2d: false], risch (2*x, x))),
 334  get_output_stream_string (S));
 335 "1 Enter rischint [2*x,x]
 336 1 Exit  rischint (2*x^2)/2
 337 ";
 338
 339 (untrace (?rischint),
 340  trace (integrate, defint, limit, ?antideriv),
 341  with_stdout (S, block ([display2d: false], integrate (exp(-x)*cos(x), x, 0, inf))),
 342  get_output_stream_string (S));
 343 "1 Enter integrate [%e^-x*cos(x),x,0,inf]
 344  1 Enter defint [%e^-x*cos(x),x,0,inf]
 345   1 Enter limit [0]
 346   1 Exit  limit 0
 347   1 Enter limit [%e^-x,x,inf]
 348   1 Exit  limit 0
 349   1 Enter limit [0]
 350   1 Exit  limit 0
 351   1 Enter antideriv [%e^-x*cos(x)]
 352   1 Exit  antideriv (%e^-x*(sin(x)-cos(x)))/2
 353   1 Enter limit [0]
 354   1 Exit  limit 0
 355   1 Enter limit [(%e^-x*sin(x))/2-(%e^-x*cos(x))/2,x,0,plus]
 356   1 Exit  limit -(1/2)
 357   1 Enter limit [(%e^-x*sin(x))/2-(%e^-x*cos(x))/2,x,inf,minus]
 358   1 Exit  limit 0
 359  1 Exit  defint 1/2
 360 1 Exit  integrate 1/2
 361 ";
 362
 363 (untrace (limit, defint),
 364  with_stdout (S, block ([display2d: false], integrate (exp(-x)*cos(x), x, 0, inf))),
 365  get_output_stream_string (S));
 366 "1 Enter integrate [%e^-x*cos(x),x,0,inf]
 367  1 Enter antideriv [%e^-x*cos(x)]
 368  1 Exit  antideriv (%e^-x*(sin(x)-cos(x)))/2
 369 1 Exit  integrate 1/2
 370 ";
 371
 372 (untrace (integrate, ?antideriv),
 373  with_stdout (S, block ([display2d: false], integrate (exp(-x)*cos(x), x, 0, inf))),
 374  get_output_stream_string (S));
 375 "";
 376
 377 (close (S), 0);
 378 0;