Skip to content

Commit 187a903

Browse files
c-cubec-cube
committed
remove qtest, use qcheck directly, reformat test
1 parent be279ec commit 187a903

File tree

10 files changed

+294
-175
lines changed

10 files changed

+294
-175
lines changed

‎Makefile‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,5 +8,6 @@ test:
88
clean:
99
@dune clean
1010

11+
WATCH?="@install @runtest"
1112
watch:
12-
@dune build @all -w
13+
@dune build @all -w $(WATCH)

‎bare_encoding.opam‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ bug-reports: "https://github.com/c-cube/bare-ocaml/issues"
1111
depends: [
1212
"dune" {>= "2.8"}
1313
"ocaml" {>= "4.08"}
14-
"qtest" {with-test & >= "2.10"}
14+
"qcheck-core" {with-test & >= "0.20"}
1515
"odoc" {with-doc}
1616
]
1717
build: [

‎dune-project‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,4 +17,4 @@
1717
(bug_reports "https://github.com/c-cube/bare-ocaml/issues")
1818
(depends
1919
(ocaml (>= "4.08"))
20-
(qtest (and :with-test (>= "2.10")))))
20+
(qcheck-core (and :with-test (>= 0.20)))))

‎tests/.ocamlformat-ignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
example*

0 commit comments

Comments
 (0)