Key

Not instrumented

Conditionalized out

Executed

Not executed

Both branches taken

One branch taken

Neither branch taken

1

(in-package :geb-test)

2

3

(define-test geb-seqn :parent geb-test-suite)

4

5

(define-test seqn-evaluates-and-correctly

6

:parent geb-seqn

7

(is obj-equalp (list 1 0) (gapply (geb.common:to-seqn geb-bool:and) (list 1 0 1 0)))

8

(is obj-equalp (list 0 0) (gapply (geb.common:to-seqn geb-bool:and) (list 1 0 0 0)))

9

(is obj-equalp (list 0 0) (gapply (geb.common:to-seqn geb-bool:and) (list 0 0 1 0)))

10

(is obj-equalp (list 0 0) (gapply (geb.common:to-seqn geb-bool:and) (list 0 0 0 0))))

11

12

(define-test seqn-de-compose

13

:parent geb-seqn

14

(is obj-equalp (list 1 0) (gapply (seqn:seqn-decompose 3) (list 4)))

15

(is obj-equalp (list 4) (gapply (seqn:seqn-concat 1 2) (list 1 0)))

16

(is obj-equalp (list 4) (gapply (seqn:composition (seqn:seqn-concat 1 2)

17

                                                     (seqn:seqn-decompose 3))

18

(list 4)))

19

(is obj-equalp (list 1 0) (gapply (seqn:composition (seqn:seqn-decompose 3)

20

                                                       (seqn:seqn-concat 1 2))

21

(list 1 0))))

22

23