Skip to content
#

verification

Here are 898 public repositories matching this topic...

mockk
immudb
mtzguido
mtzguido commented Oct 8, 2018

This is very low prio, but it usually happens that when touching Prims or some other file high in the dependency graph, we get spurious diffs in many other files. Since we check-in the snapshot, and we need to have it up-to-date, we get very verbose commits when nothing relevant changed. Plus, when something did change, it's hard to spot.

Example: I removed a few lines in prims and get things

bethesque
bethesque commented Jul 9, 2021

Future documentation for this feature:

To delete pacts for a specific tag.

  • Open the Pact Broker and click "show latest tags"

  • Scroll to the row for the consumer/tag that you wish to delete.

  • Click on the "..." icon for that row

  • Select "Delete pacts for tag <tag>"

  • You will see a prompt with the text

    This will delete the pacts for provider <provider> and all ver
    
curiousengineer
curiousengineer commented Dec 1, 2020

Here is the problem:

$ make compile
Traceback (most recent call last):
File "C:\My_Designs\probe_fpga_design_1\run.py", line 336, in
main()
File "C:\My_Designs\probe_fpga_design_1\run.py", line 181, in main
vu.add_osvvm()
File "c:\my_designs\probe_fpga_design_1\deps\vunit\vunit\ui_init_.py", line 1030, in add_osvvm
self.builtins.add("osvvm")
File "c:\my

Improve this page

Add a description, image, and links to the verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."

Learn more