diff options
| author | batsumaru <> | 2026-08-09 18:11:37 +0900 |
|---|---|---|
| committer | batsumaru <> | 2026-08-09 18:11:37 +0900 |
| commit | 0604aba2bfbd375a361fcc845b5655caa232a880 (patch) | |
| tree | 29223dba533f64ca9baeb2261e0634ab467b1001 /subprojects | |
| parent | cef49d4a396866fb5eef9ffa7a5a54b3bc0cb8af (diff) | |
Added RapidCheck
Diffstat (limited to 'subprojects')
| -rw-r--r-- | subprojects/rapidcheck.wrap | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/subprojects/rapidcheck.wrap b/subprojects/rapidcheck.wrap new file mode 100644 index 0000000..bdd4274 --- /dev/null +++ b/subprojects/rapidcheck.wrap @@ -0,0 +1,4 @@ +[wrap-git] +url = https://github.com/emil-e/rapidcheck.git +revision = 6e8dadfdafa3a74eabb52ead87f8787f72eccd0b +clone-recursive = true |