rapidcheck submodule

molsturm · Sep 4, 2016 · c633e78 · c633e78
1 parent 1a05c49
commit c633e78
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -13,3 +13,6 @@
 [submodule "modules/krims"]
 	path = modules/krims
 	url = ssh://git@github.com/linalgwrap/krims
+[submodule "modules/rapidcheck"]
+	path = modules/rapidcheck
+	url = https://github.com/emil-e/rapidcheck
diff --git a/modules/rapidcheck b/modules/rapidcheck