-
Updated
Sep 27, 2020 - Kotlin
verification
Here are 723 public repositories matching this topic...
-
Updated
Jun 26, 2020
-
Updated
Aug 6, 2020 - C++
-
Updated
Oct 14, 2020 - Go
-
Updated
Oct 14, 2020 - F*
-
Updated
Sep 26, 2020 - Java
-
Updated
Jun 15, 2018 - Go
-
Updated
Oct 5, 2020 - Java
#2107 revealed how expect_error=True can mask a problem, because any Exception raised by the test will mark it as PASS.
This test passes even though the wrong error is causing the failure:
These tests should be cleaned up to use assert_raises sty
-
Updated
Jul 25, 2020 - Go
eg. SomeProvider or some-provider
-
Updated
Sep 5, 2018 - JavaScript
VUnit.add_source_files_from_csv() only passes vhdl_standard kwarg to Library.add_source_file(). However, my file gatherer uses .ahd file extensions to denote altera, .xhd to denote xilinx, and so on. I need the file_type available at least so I can tell VUnit that those file types are still vhdl, but all arguments should be available.
-
Updated
Mar 3, 2019 - Lean
-
Updated
Dec 11, 2016 - Objective-C
-
Updated
Sep 26, 2020 - VHDL
-
Updated
Oct 14, 2020 - Rust
-
Updated
Oct 13, 2020 - Python
-
Updated
Sep 2, 2020 - C++
-
Updated
Oct 9, 2020 - Go
-
Updated
Oct 15, 2020 - C
-
Updated
Sep 29, 2020 - OCaml
-
Updated
Feb 2, 2020 - Go
-
Updated
Oct 10, 2020 - Erlang
-
Updated
Dec 30, 2019 - JavaScript
Improve this page
Add a description, image, and links to the verification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."
This is very low prio, but it usually happens that when touching
Primsor 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