Code

chformal: Add -coverenable option#2995

Code

Merged

jix merged 4 commits intoYosysHQ:masterYosysHQ/yosys:masterfrom georgerennie:cover_precondgeorgerennie/yosys:cover_precondCopy head branch name to clipboardFeb 14, 2023

Commits

Commits on Jun 18, 2022

• chformal: Add -coverprecond option

  Show description for c659bd1
  georgerennie

  committed
  c659bd1

  Copy full SHA for c659bd1

• chformal: Test -coverprecond and reuse the src attribute

  

  jix

  authored and

  georgerennie

  committed
  e39c422

  Copy full SHA for e39c422

• chformal: Rename -coverprecond to -coverenable

  georgerennie

  committed
  5dfad51

  Copy full SHA for 5dfad51

Commits on Feb 14, 2023

• chformal: Note about using -coverenable with the Verific frontend

  jix

  committed
  b636af9

  Copy full SHA for b636af9