Coverage report: /home/runner/work/geb/geb/test/poly.lisp

KindCoveredAll%
expression2356 41.1
branch00nil
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-poly :parent geb-test-suite)
4
 
5
 (def test-circuit-1
6
   (to-circuit (poly:+ 1 (poly:+ poly:ident (poly:* 3 poly:ident)))
7
     :tc_1))
8
 
9
 (def test-circuit-2
10
   (to-circuit (poly:if-lt (poly:+ 2 (poly:+ poly:ident (poly:* 3 poly:ident)))
11
                           (poly:+ 1 (poly:+ poly:ident (poly:* 3 poly:ident)))
12
                           5
13
                           8)
14
               :foo))
15
 
16
 (define-test poly-vampir-converter
17
   :parent geb-poly
18
   (of-type list test-circuit-1)
19
   (of-type list test-circuit-2))
20
 
21
 (define-test poly-interpreter :parent geb-poly)
22
 
23
 ;; please add more tests
24
 (define-test interpret-basic-poly :parent poly-interpreter
25
   (is
26
    =
27
    (gapply (geb.poly:if-zero (geb.poly:- geb.poly:ident geb.poly:ident 1)
28
                              10
29
                              geb.poly:ident)
30
            5)
31
    5)
32
   (is
33
    =
34
    (gapply (geb.poly:if-zero (geb.poly:- geb.poly:ident geb.poly:ident)
35
                              10
36
                              geb.poly:ident)
37
            5)
38
    10))