#444 (Jul 14, 2020, 8:51:45 PM)

PR 1505: coverage

	Changes nocover (details / githubweb) tests coverage (details / githubweb) fix (details / githubweb) coverage and clarity (details / githubweb) coverage (details / githubweb) coverage (details / githubweb)
	Started by upstream project CE_gpkit_PR_research_models build number 444 originally caused by: GitHub pull request #1505 of commit 11246312df294fa5305c340073edac586426ebed, no merge conflicts.
	Revision: 036327b78d894ddcce4702311beb898867ea5d32 Repository: https://github.com/convexengineering/gpkit origin/pr/1505/merge origin/master
	0 errors, 0 warnings