JBMC tests should not use --cover#2846

peterschrammel merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:jbmc-no-cover-testspeterschrammel/cbmc:jbmc-no-cover-testsCopy head branch name to clipboard