Backquote syntax can cause testcover to report "Value of form marked with ‘1value’ does vary” errors. Here is some code with two different variations of the problem:

(defmacro my-lambda (&rest body)
  `(lambda () ,@body))

(defun my-example ()
  (let ((lambda-1 (my-lambda (message "lambda-1")))
	(lambda-2 (my-lambda (message "lambda-2"))))
    (funcall lambda-1)
    (funcall lambda-2)))

(defmacro my-print-symbol (name)
  `(message "the symbol is %s" ',name))

(defun my-example-2 ()
  (my-print-symbol foo)
  (my-print-symbol bar))

To reproduce the bug:
1. save the above code into a file
2. emacs -Q
3. M-x eval-expression RET (require ‘testcover) RET
4. M-x testcover-start RET filename RET

To make the attached stack trace:
5. M-x toggle-debug-on-error RET
6. M-x eval-expression RET (my-example-2) RET

In my opinion testcover should not be claiming that it is an error if its 1value determination is incorrect. There is no error in the code being tested, there is just a shortcoming in the heuristics that testcover is using to figure out what color splotch to put on the line. But if a form has returned a second value, that code has had adequate coverage and no splotch is necessary.