【发布时间】:2019-06-08 04:03:31
【问题描述】:
我正在尝试设置服务器以针对 Racket 程序运行广泛的随机测试,并希望将这些测试的输出发送到日志文件。如何将测试的输出记录到文件中?
来自rackunit 的测试返回#<void>,而不是字符串,因此尝试在测试中使用(call-with-output-file ... 只会将#<void> 添加到输出文件中。
(call-with-output-file "testing.txt"
(λ (out)
(display <TESTS> out))
#:exists 'append)
输出文件应记录测试结果或错误(如果有)。任何帮助表示赞赏。
【问题讨论】:
-
你看过
rackunit/text-ui模块中的run-tests函数吗? docs.racket-lang.org/rackunit/…