mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-29 19:30:36 +02:00
Code Activity

Fix coverage test for top-level binding optimization

Browse source 
* test-suite/tests/coverage.test ("line-execution-counts"): Fix
  expectations for tail-call test.
This commit is contained in:
Andy Wingo 2019-08-18 22:26:46 +02:00
parent 25be9f9c31
commit 6cf2fc1b9b
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -213,8 +213,12 @@
(with-code-coverage
(lambda () (with-output-to-string proc)))))
(let ((counts (line-execution-counts data "tail-calls.scm")))
(lset= equal? '((1 . 1) (2 . 1) (3 . 1) (5 . 1) (6 . 1))
counts))))))
(define (lset-contains? eq? a b)
(lset= eq? b (lset-intersection eq? a b)))
;; Due to top-level binding optimization, the target may be
;; inlined or into the caller. All we can say is that the
;; entry was seen, and the two displays were called.
(lset-contains? equal? counts '((1 . 1) (2 . 1) (6 . 1))))))))
(with-test-prefix "procedure-execution-count"