Browse Source

Correct prove usage.

Lily Carpenter 9 years ago
parent
commit
56d9398970
1 changed files with 2 additions and 1 deletions
  1. 2 1
      chapter-1/euclid.lisp

+ 2 - 1
chapter-1/euclid.lisp

24
 
24
 
25
 ;; Tests
25
 ;; Tests
26
 (ql:quickload "prove")
26
 (ql:quickload "prove")
27
-(prove::plan 3)
27
+(prove::plan 5)
28
 (prove::is (euclid 235 95) 5)
28
 (prove::is (euclid 235 95) 5)
29
 (prove::is (euclid 119 544) 17)
29
 (prove::is (euclid 119 544) 17)
30
 (prove::is (euclid -5 94) nil)
30
 (prove::is (euclid -5 94) nil)
31
 (prove::is (euclid 94 -5) nil)
31
 (prove::is (euclid 94 -5) nil)
32
 (prove::is (euclid -94 -5) nil)
32
 (prove::is (euclid -94 -5) nil)
33
+(prove::finalize)