Merge pull request #5685 from edwintorok/private/edvint/qcheck

psafont · web-flow · commit 65dc11e59535 · 2024-06-12T16:16:31.000+01:00
diff --git a/ocaml/libs/sexpr/test/dune b/ocaml/libs/sexpr/test/dune
@@ -1,4 +1,4 @@
 (test
  (name test_sexpr)
  (modules test_sexpr)
- (libraries sexpr astring rresult qcheck alcotest threads))
+ (libraries sexpr astring rresult qcheck-core alcotest threads))
diff --git a/sexpr.opam.template b/sexpr.opam.template
@@ -11,6 +11,7 @@ depends: [
   "ocaml"
   "dune"
   "astring"
+  "qcheck-core" {with-test}
   "xapi-stdext-threads"
 ]
 synopsis: "Library required by xapi"
diff --git a/wsproxy.opam b/wsproxy.opam
@@ -22,7 +22,7 @@ depends: [
   "re"
   "uuid"
   "ounit2" {with-test}
-  "qcheck" {with-test}
+  "qcheck-core" {with-test}
 ]
 tags: [ "org:xapi-project" ]
 synopsis: "Websockets proxy for VNC traffic"
diff --git a/wsproxy.opam.template b/wsproxy.opam.template
@@ -20,7 +20,7 @@ depends: [
   "re"
   "uuid"
   "ounit2" {with-test}
-  "qcheck" {with-test}
+  "qcheck-core" {with-test}
 ]
 tags: [ "org:xapi-project" ]
 synopsis: "Websockets proxy for VNC traffic"

Original file line number	Diff line number	Diff line change
`@@ -11,6 +11,7 @@ depends: [`
`11`	`11`	`"ocaml"`
`12`	`12`	`"dune"`
`13`	`13`	`"astring"`
	`14`	`+ "qcheck-core" {with-test}`
`14`	`15`	`"xapi-stdext-threads"`
`15`	`16`	`]`
`16`	`17`	`synopsis: "Library required by xapi"`
Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ depends: [`
`22`	`22`	`"re"`
`23`	`23`	`"uuid"`
`24`	`24`	`"ounit2" {with-test}`
`25`		`- "qcheck" {with-test}`
	`25`	`+ "qcheck-core" {with-test}`
`26`	`26`	`]`
`27`	`27`	`tags: [ "org:xapi-project" ]`
`28`	`28`	`synopsis: "Websockets proxy for VNC traffic"`
Original file line number	Diff line number	Diff line change
`@@ -20,7 +20,7 @@ depends: [`
`20`	`20`	`"re"`
`21`	`21`	`"uuid"`
`22`	`22`	`"ounit2" {with-test}`
`23`		`- "qcheck" {with-test}`
	`23`	`+ "qcheck-core" {with-test}`
`24`	`24`	`]`
`25`	`25`	`tags: [ "org:xapi-project" ]`
`26`	`26`	`synopsis: "Websockets proxy for VNC traffic"`