1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
import TestPilot from require 'spec.test_setup'
import T, Array, Constant from require 'alv'
describe "testing", ->
test = TestPilot '', '(import* testing logic)\n'
describe "assert", ->
it "ignores true", ->
with COPILOT\eval_once '(assert true)'
assert.is.true \is_const!
assert.is.nil .result
with COPILOT\eval_once '(assert true "with message")'
assert.is.true \is_const!
assert.is.nil .result
it "throws on false", ->
assert.has.error -> COPILOT\eval_once '(assert false)'
it "shows failing expression", ->
err = assert.has.error -> COPILOT\eval_once '(assert false)'
assert.matches "assertion failed: false", err
err = assert.has.error -> COPILOT\eval_once '(assert (== 1 2))'
assert.matches "assertion failed: %(== 1 2%)", err
it "supports custom error messages", ->
err = assert.has.error -> COPILOT\eval_once '(assert (== "green" "red") "duck isnt green")'
assert.matches "duck isnt green", err
describe "expect=", ->
it "passes equal params", ->
with COPILOT\eval_once '(expect= 1 1 1)'
assert.is.true \is_const!
assert.is.nil .result
with COPILOT\eval_once '(expect= 2 2 2)'
assert.is.true \is_const!
assert.is.nil .result
with COPILOT\eval_once '(expect= true true)'
assert.is.true \is_const!
assert.is.nil .result
with COPILOT\eval_once '(expect= "hello" "hello")'
assert.is.true \is_const!
assert.is.nil .result
with COPILOT\eval_once '(expect= [1 2] (mkarray 1 2))'
assert.is.true \is_const!
assert.is.nil .result
it "fails different values", ->
assert.has.error -> COPILOT\eval_once '(expect= 1 2)'
assert.has.error -> COPILOT\eval_once '(expect= 1 1 2)'
assert.has.error -> COPILOT\eval_once '(expect= 2 1 1)'
assert.has.error -> COPILOT\eval_once '(expect= true false)'
assert.has.error -> COPILOT\eval_once '(expect= "asdf" "bsdf")'
assert.has.error -> COPILOT\eval_once '(expect= [1 2] [1 3])'
it "fails different types", ->
assert.has.error -> COPILOT\eval_once '(expect= true 2)'
assert.has.error -> COPILOT\eval_once '(expect= true true 1)'
assert.has.error -> COPILOT\eval_once '(expect= true false "str")'
it "reports first failing arguments", ->
err = assert.has.error -> COPILOT\eval_once '(expect= 1 2)'
assert.matches "assertion error: Expected 2 to equal <num= 1> %(got <num= 2>%)", err
err = assert.has.error -> COPILOT\eval_once '(expect= 1 1 2 4)'
assert.matches "assertion error: Expected 2 to equal <num= 1> %(got <num= 2>%)", err
err = assert.has.error -> COPILOT\eval_once '(expect= true 2 3)'
assert.matches "assertion error: Expected 2 to equal <bool= true> %(got <num= 2>%)", err
it "reports full expressions", ->
err = assert.has.error -> COPILOT\eval_once '(import* math) (expect= 1 (+ 1 1))'
assert.matches "assertion error: Expected %(%+ 1 1%) to equal <num= 1> %(got <num= 2>%)", err
|
