diff options
Diffstat (limited to 'docs/en/erlang.mk/1/guide/triq/index.html')
| -rw-r--r-- | docs/en/erlang.mk/1/guide/triq/index.html | 45 |
1 files changed, 22 insertions, 23 deletions
diff --git a/docs/en/erlang.mk/1/guide/triq/index.html b/docs/en/erlang.mk/1/guide/triq/index.html index 5b478a0b..5f1f5608 100644 --- a/docs/en/erlang.mk/1/guide/triq/index.html +++ b/docs/en/erlang.mk/1/guide/triq/index.html @@ -62,44 +62,43 @@ <h1 class="lined-header"><span>Triq</span></h1> -<div class="paragraph"><p><a href="https://triq.gitlab.io/">Triq</a> is a QuickCheck-like library for -property-based testing. Erlang.mk automates discovery and checking of -Triq properties.</p></div> -<div class="paragraph"><p>To run all tests (including Triq):</p></div> -<div class="listingblock"> -<div class="content"><!-- Generator: GNU source-highlight +<p><a href="https://triq.gitlab.io/">Triq</a> is a QuickCheck-like library for property-based testing. Erlang.mk automates discovery and checking of Triq properties.</p> +<p>To run all tests (including Triq):</p> +<div class="listingblock"><div class="content"><!-- Generator: GNU source-highlight 3.1.8 by Lorenzo Bettini http://www.lorenzobettini.it http://www.gnu.org/software/src-highlite --> -<pre><tt>$ make tests</tt></pre></div></div> -<div class="paragraph"><p>To run all tests and static checks (including Triq):</p></div> -<div class="listingblock"> -<div class="content"><!-- Generator: GNU source-highlight +<pre><tt>$ make tests</tt></pre> +</div></div> +<p>To run all tests and static checks (including Triq):</p> +<div class="listingblock"><div class="content"><!-- Generator: GNU source-highlight 3.1.8 by Lorenzo Bettini http://www.lorenzobettini.it http://www.gnu.org/software/src-highlite --> -<pre><tt>$ make check</tt></pre></div></div> -<div class="paragraph"><p>You can also run Triq separately:</p></div> -<div class="listingblock"> -<div class="content"><!-- Generator: GNU source-highlight +<pre><tt>$ make check</tt></pre> +</div></div> +<p>You can also run Triq separately:</p> +<div class="listingblock"><div class="content"><!-- Generator: GNU source-highlight 3.1.8 by Lorenzo Bettini http://www.lorenzobettini.it http://www.gnu.org/software/src-highlite --> -<pre><tt>$ make triq</tt></pre></div></div> -<div class="paragraph"><p>To check properties from a single module:</p></div> -<div class="listingblock"> -<div class="content"><!-- Generator: GNU source-highlight +<pre><tt>$ make triq</tt></pre> +</div></div> +<p>To check properties from a single module:</p> +<div class="listingblock"><div class="content"><!-- Generator: GNU source-highlight 3.1.8 by Lorenzo Bettini http://www.lorenzobettini.it http://www.gnu.org/software/src-highlite --> -<pre><tt>$ make triq <span style="color: #009900">t</span><span style="color: #990000">=</span>foo_tests</tt></pre></div></div> -<div class="paragraph"><p>To check a single property:</p></div> -<div class="listingblock"> -<div class="content"><!-- Generator: GNU source-highlight +<pre><tt>$ make triq <font color="#009900">t</font><font color="#990000">=</font>foo_tests</tt></pre> +</div></div> +<p>To check a single property:</p> +<div class="listingblock"><div class="content"><!-- Generator: GNU source-highlight 3.1.8 by Lorenzo Bettini http://www.lorenzobettini.it http://www.gnu.org/software/src-highlite --> -<pre><tt>$ make triq <span style="color: #009900">t</span><span style="color: #990000">=</span>foo_tests<span style="color: #990000">:</span>bar</tt></pre></div></div> +<pre><tt>$ make triq <font color="#009900">t</font><font color="#990000">=</font>foo_tests<font color="#990000">:</font>bar</tt></pre> +</div></div> + |