new-time-psl.sl 1.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  1. % NEW-TIME.SL Driver of PSL "spectral" tests
  2. % After loading psl-timer.b, LAPIN this file
  3. (de test(x y)
  4. (prin2 x)
  5. (setq y (timeeval y))
  6. (print y)
  7. (setq Cases!* (cons (cons x y) Cases!*))
  8. 0)
  9. (de rtest(x y)
  10. (reclaim)
  11. (test x y))
  12. (de printcases (fil)
  13. (wrs (open fil 'output))
  14. (setq c (reverse Cases!*))
  15. (prin2t "(")
  16. (while (pairp c) (print (car c)) (setq c (cdr c)))
  17. (prin2t ")")
  18. (close (wrs NIL))
  19. )
  20. (TestSetup)
  21. (setq Cases!* (cons (cons (versionname) (date)) NIL))
  22. (prin2 '!")
  23. (prin2 "PSL Spectral Tests, ") (prin2 (versionname))
  24. (prin2 ", ") (prin2 (date))
  25. (prin2t '!")
  26. (rtest "EmptyTest-10000 " '(EmptyTest 10000))
  27. (test "GEmptyTest-10000 " '(SlowEmptyTest 10000))
  28. (test "Cdr1Test-100 " '(Cdr1Test 100))
  29. (test "Cdr2Test-100 " '(Cdr2Test 100))
  30. (test "CddrTest-100 " '(CddrTest 100))
  31. (test "ListOnlyCdrTest1 " '(ListOnlyCdrTest1))
  32. (test "ListOnlyCddrTest1 " '(ListOnlyCddrTest1))
  33. (test "ListOnlyCdrTest2 " '(ListOnlyCdrTest2))
  34. (test "ListOnlyCddrTest2 " '(ListOnlyCddrTest2))
  35. (test "ReverseTest-10 " '(ReverseTest 10))
  36. (rtest "MyReverse1Test-10 " '(MyReverse1Test 10))
  37. (rtest "MyReverse2Test-10 " '(MyReverse2Test 10))
  38. (rtest "LengthTest-100 " '(LengthTest 100))
  39. (test "ArithmeticTest-10000 " '(ArithmeticTest 10000))
  40. (test "EvalTest-10000 " '(EvalTest 10000))
  41. (test "tak-18-12-6 " '(topleveltak 18 12 6))
  42. (test "gtak-18-12-6 " '(toplevelgtak 18 12 6))
  43. (test "gtsta-g0 " '(gtsta 'g0))
  44. (test "gtsta-g1 " '(gtsta 'g1))