mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-20 19:50:24 +02:00
Code Activity

More robust coverage tests

Browse source 
* test-suite/tests/coverage.test ("line-execution-counts"): Allow zero
  or one count on the loop head.
This commit is contained in:
Andy Wingo 2014-04-16 19:13:49 +02:00
parent 37d574b378
commit a285f38fda
1 changed files with 10 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

11
test-suite/tests/coverage.test
View file

@ -106,8 +106,17 @@
(every (lambda (line+count) (every (lambda (line+count)
(let ((line (car line+count)) (let ((line (car line+count))
(count (cdr line+count))) (count (cdr line+count)))
;; The actual line counts for aliasing
;; operations, like the loop header that
;; initializes "x" to "x", are sensitive to
;; whether there is an associated "mov"
;; instruction, or whether the value is left
;; in place. Currently there are no
;; instructions for line 2, but we allow 1 as
;; well.
(case line (case line
((0 1 2) (= count 1)) ((0 1) (= count 1))
((2) (<= 0 count 1))
((3) (= count 78)) ((3) (= count 78))
((4 5 6) (= count 77)) ((4 5 6) (= count 77))
((7) (= count 1)) ((7) (= count 1))