scheme - check-expect function

Question

;; snoc : X [Listof Any] -> [Listof Any]
;; Adds the X to the end of the list
(define (snoc x l)
  (cond [(empty? l) (cons x empty)]
        [else (cons (first l)
                    (snoc x (rest l)))]))

As described above, it simply adds an X to the end of the list. How would you write a simple check-expect function for this?

Answer 1

たとえば、次のような明らかなケースをテストします。

1. 空のリストに要素を追加するとどうなりますか?
2. 要素が 1 つのリストに要素を追加するとどうなりますか?
3. 2 つの要素を持つリストに要素を追加するとどうなりますか?

等々。たとえば、最初のテストは次のようになります。

(check-expect (snoc 1 '()) '(1))