Add qcheck-core 0.19 lower bound for tup5 (PR #994)

Author: sim642

dune-project

@@ -28,7 +28,7 @@
     (batteries (>= 3.4.0))
     (zarith (>= 1.8))
     (yojson (>= 2.0.0))
-    qcheck-core
+    (qcheck-core (>= 0.19))
     ppx_deriving
     ppx_deriving_hash
     (ppx_deriving_yojson (>= 3.7.0))

goblint.opam

@@ -25,7 +25,7 @@ depends: [
   "batteries" {>= "3.4.0"}
   "zarith" {>= "1.8"}
   "yojson" {>= "2.0.0"}
-  "qcheck-core"
+  "qcheck-core" {>= "0.19"}
   "ppx_deriving"
   "ppx_deriving_hash"
   "ppx_deriving_yojson" {>= "3.7.0"}