<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>quickchick: 1 m 38 s 🏆</title>
    <link rel="shortcut icon" type="image/png" href="../../../../../favicon.png" />
    <link href="../../../../../bootstrap.min.css" rel="stylesheet">
    <link href="../../../../../bootstrap-custom.css" rel="stylesheet">
    <link href="//maxcdn.bootstrapcdn.com/font-awesome/4.2.0/css/font-awesome.min.css" rel="stylesheet">
    <script src="../../../../../moment.min.js"></script>
    <!-- HTML5 Shim and Respond.js IE8 support of HTML5 elements and media queries -->
    <!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
    <!--[if lt IE 9]>
      <script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
      <script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
    <![endif]-->
  </head>
  <body>
    <div class="container">
      <div class="navbar navbar-default" role="navigation">
        <div class="container-fluid">
          <div class="navbar-header">
            <a class="navbar-brand" href="../../../../.."><i class="fa fa-lg fa-flag-checkered"></i> Coq bench</a>
          </div>
          <div id="navbar" class="collapse navbar-collapse">
            <ul class="nav navbar-nav">
              <li><a href="../..">clean / released</a></li>
              <li class="active"><a href="">8.13.1 / quickchick - 1.5.0</a></li>
            </ul>
          </div>
        </div>
      </div>
      <div class="article">
        <div class="row">
          <div class="col-md-12">
            <a href="../..">« Up</a>
            <h1>
              quickchick
              <small>
                1.5.0
                <span class="label label-success">1 m 38 s 🏆</span>
              </small>
            </h1>
            <p>📅 <em><script>document.write(moment("2021-10-23 16:42:14 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2021-10-23 16:42:14 UTC)</em><p>
            <h2>Context</h2>
            <pre># Packages matching: installed
# Name              # Installed # Synopsis
base-bigarray       base
base-threads        base
base-unix           base
conf-findutils      1           Virtual package relying on findutils
conf-gmp            3           Virtual package relying on a GMP lib system installation
coq                 8.13.1      Formal proof management system
num                 1.4         The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml               4.09.1      The OCaml compiler (virtual package)
ocaml-base-compiler 4.09.1      Official release 4.09.1
ocaml-config        1           OCaml Switch Configuration
ocamlfind           1.9.1       A library manager for OCaml
zarith              1.12        Implements arithmetic and logical operations over arbitrary-precision integers
# opam file:
opam-version: &quot;2.0&quot;
maintainer: &quot;llamp@seas.upenn.edu&quot;
synopsis: &quot;Randomized Property-Based Testing Plugin for Coq&quot;
homepage: &quot;https://github.com/QuickChick/QuickChick&quot;
dev-repo: &quot;git+https://github.com/QuickChick/QuickChick.git&quot;
bug-reports: &quot;https://github.com/QuickChick/QuickChick/issues&quot;
license: &quot;MIT&quot;
build: [ make &quot;-j&quot; jobs ]
install: [
  [make &quot;-j&quot; jobs &quot;install&quot; ]
  [make &quot;-j&quot; jobs &quot;tests&quot;] {with-test}
]
depends: [
  &quot;ocaml&quot; {&gt;= &quot;4.07&quot;}
  &quot;coq&quot; {&gt;= &quot;8.13&quot; &lt; &quot;8.14~&quot;}
  &quot;coq-ext-lib&quot;
  &quot;coq-mathcomp-ssreflect&quot;
  &quot;ocamlbuild&quot;
  &quot;ocamlfind&quot;
  &quot;menhir&quot; {build}
  &quot;coq-simple-io&quot;
]
authors: [
  &quot;Leonidas Lampropoulos &lt;&gt;&quot;
  &quot;Zoe Paraskevopoulou &lt;&gt;&quot;
  &quot;Maxime Denes &lt;&gt;&quot;
  &quot;Catalin Hritcu &lt;&gt;&quot;
  &quot;Benjamin Pierce &lt;&gt;&quot;
  &quot;Li-yao Xia &lt;&gt;&quot;
  &quot;Arthur Azevedo de Amorim &lt;&gt;&quot;
  &quot;Yishuai Li &lt;&gt;&quot;
  &quot;Antal Spector-Zabusky &lt;&gt;&quot;
]
tags: [
  &quot;keyword:extraction&quot;
  &quot;category:Miscellaneous/Coq Extensions&quot;
  &quot;logpath:QuickChick&quot;
]
url {
    src: &quot;https://github.com/QuickChick/QuickChick/archive/v1.5.0.tar.gz&quot;
    checksum: &quot;sha256=e33edc6359734212d66b49a617fc360e4331c5bedcc72631b0e96b75719a7528&quot;
}
</pre>
            <h2>Lint</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>true</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
            </dl>
            <h2>Dry install 🏜️</h2>
            <p>Dry install with the current Coq version:</p>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam install -y --show-action coq-quickchick.1.5.0 coq.8.13.1</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
            </dl>
            <p>Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:</p>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>true</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
            </dl>
            <h2>Install dependencies</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-quickchick.1.5.0 coq.8.13.1</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Duration</dt>
              <dd>4 m 53 s</dd>
            </dl>
            <h2>Install 🚀</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y -v coq-quickchick.1.5.0 coq.8.13.1</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Duration</dt>
              <dd>1 m 38 s</dd>
            </dl>
            <h2>Installation size</h2>
            <p>Total: 7 M</p>
            <ul>
              <li>994 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/quickchick_plugin.cmxs</code></li>
              <li>757 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/State.vo</code></li>
              <li>702 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenHighImpl.vo</code></li>
              <li>363 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenHighImpl.glob</code></li>
              <li>280 K <code>../ocaml-base-compiler.4.09.1/bin/quickChick</code></li>
              <li>193 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Sets.vo</code></li>
              <li>178 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Instances.vo</code></li>
              <li>163 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Sets.glob</code></li>
              <li>161 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/SemChecker.vo</code></li>
              <li>160 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenLow.vo</code></li>
              <li>147 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/ShowFacts.vo</code></li>
              <li>137 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/RandomQC.vo</code></li>
              <li>131 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/quickchick_plugin.cmi</code></li>
              <li>130 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/CoArbitrary.vo</code></li>
              <li>125 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenHighInterface.glob</code></li>
              <li>114 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/SemChecker.glob</code></li>
              <li>113 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenLow.glob</code></li>
              <li>105 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenHighInterface.vo</code></li>
              <li>99 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Decidability.vo</code></li>
              <li>97 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenHigh.vo</code></li>
              <li>87 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Checker.vo</code></li>
              <li>78 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/RandomQC.glob</code></li>
              <li>75 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenLowInterface.glob</code></li>
              <li>74 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenLowInterface.vo</code></li>
              <li>72 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Test.vo</code></li>
              <li>61 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Classes.vo</code></li>
              <li>61 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/CoArbitrary.glob</code></li>
              <li>60 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenHighImpl.v</code></li>
              <li>58 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/DependentClasses.vo</code></li>
              <li>56 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Show.vo</code></li>
              <li>50 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/quickchick_plugin.cmx</code></li>
              <li>49 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Instances.glob</code></li>
              <li>48 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Checker.glob</code></li>
              <li>44 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/StringOT.vo</code></li>
              <li>43 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Test.glob</code></li>
              <li>43 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Typeclasses.vo</code></li>
              <li>37 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/MutateCheck.vo</code></li>
              <li>31 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Nat_util.vo</code></li>
              <li>30 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/ExtractionQC.vo</code></li>
              <li>30 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenHigh.glob</code></li>
              <li>29 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Show.glob</code></li>
              <li>28 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/SemChecker.v</code></li>
              <li>28 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Sets.v</code></li>
              <li>27 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/QuickChick.vo</code></li>
              <li>25 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Mutation.vo</code></li>
              <li>25 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Tactics.vo</code></li>
              <li>25 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/DependentClasses.glob</code></li>
              <li>24 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/RandomQC.v</code></li>
              <li>24 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Classes.glob</code></li>
              <li>22 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenLow.v</code></li>
              <li>17 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/CoArbitrary.v</code></li>
              <li>17 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenHighInterface.v</code></li>
              <li>16 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/RoseTrees.vo</code></li>
              <li>15 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Decidability.glob</code></li>
              <li>14 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/StringOT.glob</code></li>
              <li>14 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/ShowFacts.glob</code></li>
              <li>14 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Checker.v</code></li>
              <li>14 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenLowInterface.v</code></li>
              <li>13 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Test.v</code></li>
              <li>11 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Instances.v</code></li>
              <li>10 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/MutateCheck.glob</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/DependentClasses.v</code></li>
              <li>9 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Typeclasses.glob</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/quickchick_plugin.cmxa</code></li>
              <li>8 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Show.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Typeclasses.v</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Nat_util.glob</code></li>
              <li>7 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Classes.v</code></li>
              <li>6 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Decidability.v</code></li>
              <li>5 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/StringOT.v</code></li>
              <li>5 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Mutation.v</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/ShowFacts.v</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Mutation.glob</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/ExtractionQC.v</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/GenHigh.v</code></li>
              <li>4 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/RoseTrees.glob</code></li>
              <li>3 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Tactics.glob</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/State.glob</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/RoseTrees.v</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/MutateCheck.v</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Nat_util.v</code></li>
              <li>2 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/QuickChick.v</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/Tactics.v</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/ExtractionQC.glob</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/QuickChick.glob</code></li>
              <li>1 K <code>../ocaml-base-compiler.4.09.1/lib/coq/user-contrib/QuickChick/State.v</code></li>
            </ul>
            <h2>Uninstall 🧹</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam remove -y coq-quickchick.1.5.0</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Missing removes</dt>
              <dd>
                none
              </dd>
              <dt>Wrong removes</dt>
              <dd>
                none
              </dd>
            </dl>
          </div>
        </div>
      </div>
      <hr/>
      <div class="footer">
        <p class="text-center">
          Sources are on <a href="https://github.com/coq-bench">GitHub</a> © Guillaume Claret 🐣
        </p>
      </div>
    </div>
    <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js"></script>
    <script src="../../../../../bootstrap.min.js"></script>
  </body>
</html>
