PLT Racket 多个值的测试用例

Question

我似乎无法使用 test-engine/racket-tests 包测试我在 PLT Racket 中编写的函数。

代码如下所示。它返回多个值（不知道为什么他们不称它们为元组）。

(define (euclid-ext a b)
  (cond
    [(= b 0) (values a 1 0)]
    [else (let-values ([(d x y) (euclid-ext b (modulo a b))])
            (values d y (- x (* (quotient a b) y))))]
    ))

问题是使用以下格式对其进行测试。以下是我尝试过的一些方法。

(check-expect (values (euclid-ext 99 78)) (values 3 -11 14))
(check-expect (euclid-ext 99 78) (values 3 -11 14))
(check-expect (list (euclid-ext 99 78)) (list 3 -11 14))

现在，这会产生错误上下文期望 1 个值，收到 3 个值：3 -11 14。无论我如何尝试解决此问题（使用列表、值、无值等），我都无法成功评估此测试用例。

Answer 1

test-engine 库适用于学生代码，因此它不处理多个值（大多数课程不处理）。像 Rackunit 库这样的东西更适合这种情况。

Answer 2

看起来测试框架不接受值。我认为您会发现使用列表作为返回值会更轻松。

但是，如果您确实想这样做，您可以使用 values 转换为列表="nofollow noreferrer">call-with-values 像这样：

(call-with-values (lambda () (values 1 2 3)) list)

所以测试将是这样的：

(check-expect (call-with-values (lambda () (euclid-ext 99 78)) list)
              (list 3 -11 14))