balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Suppress noisy and useless test in UnionFind

Browse Source
This commit is contained in:
Tom Jack 2020-01-09 11:21:28 -06:00
parent a4e971b9e0
commit 2232e7f34f
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
vendors/UnionFind/dune vendored
View File

@ -4,8 +4,3 @@
(wrapped false) (wrapped false)
(modules Partition0 Partition1 Partition2 Partition3 Partition UnionFind) (modules Partition0 Partition1 Partition2 Partition3 Partition UnionFind)
(modules_without_implementation Partition)) (modules_without_implementation Partition))
(test
(modules PartitionMain)
(libraries UnionFind)
(name PartitionMain))