Skip to content
Permalink
Browse files

Avoid spurious steadfasness warnings in the `lgtunit` tool

  • Loading branch information...
pmoura committed Mar 15, 2019
1 parent 1084630 commit 0c12fc5ee66e479dce27269126fcffe9d03de008
Showing with 30 additions and 28 deletions.
  1. +1 −1 docs/_sources/index.rst.txt
  2. +2 −2 docs/_sources/lgtunit_0.rst.txt
  3. +1 −1 docs/index.html
  4. +2 −2 docs/lgtunit_0.html
  5. +24 −22 tools/lgtunit/lgtunit.lgt
@@ -17,4 +17,4 @@ Indices and tables
* :ref:`genindex`
* :ref:`search`

Generated on Fri Mar 15 16:39:47 WET 2019
Generated on Fri Mar 15 22:42:59 WET 2019
@@ -9,8 +9,8 @@
A unit test framework supporting predicate clause coverage, determinism testing, input/output testing, quick-check testing, and multiple test dialects.

| **Author:** Paulo Moura
| **Version:** 6.26
| **Date:** 2019/3/7
| **Version:** 6.27
| **Date:** 2019/3/15

| **Compilation flags:**
| ``static, context_switching_calls``
@@ -2860,7 +2860,7 @@ <h1>Indices and tables<a class="headerlink" href="#indices-and-tables" title="Pe
<li><a class="reference internal" href="genindex.html"><span class="std std-ref">Index</span></a></li>
<li><a class="reference internal" href="search.html"><span class="std std-ref">Search Page</span></a></li>
</ul>
<p>Generated on Fri Mar 15 16:39:47 WET 2019</p>
<p>Generated on Fri Mar 15 22:42:59 WET 2019</p>
</div>


@@ -220,8 +220,8 @@ <h1><code class="docutils literal notranslate"><span class="pre">lgtunit</span><
<p>A unit test framework supporting predicate clause coverage, determinism testing, input/output testing, quick-check testing, and multiple test dialects.</p>
<div class="line-block">
<div class="line"><strong>Author:</strong> Paulo Moura</div>
<div class="line"><strong>Version:</strong> 6.26</div>
<div class="line"><strong>Date:</strong> 2019/3/7</div>
<div class="line"><strong>Version:</strong> 6.27</div>
<div class="line"><strong>Date:</strong> 2019/3/15</div>
</div>
<div class="line-block">
<div class="line"><strong>Compilation flags:</strong></div>
@@ -26,9 +26,9 @@
:- set_logtalk_flag(debug, off).

:- info([
version is 6.26,
version is 6.27,
author is 'Paulo Moura',
date is 2019/03/07,
date is 2019/03/15,
comment is 'A unit test framework supporting predicate clause coverage, determinism testing, input/output testing, quick-check testing, and multiple test dialects.'
]).

@@ -1017,18 +1017,18 @@
; failed_cleanup(Test, File, Position, failure, Output)
).

option_goal(Object::Message, Object::Message) :-
!.
option_goal(::Message, ::Message) :-
!.
option_goal(^^Message, ^^Message) :-
!.
option_goal(Object<<Goal, Object<<Goal) :-
!.
option_goal(':'(Module,Goal), ':'(Module,Goal)) :-
!.
option_goal(Goal, Sender<<Goal) :-
sender(Sender).
option_goal(Option, Goal) :-
( control_construct(Option) ->
Goal = Option
; sender(Sender),
Goal = Sender<<Option
).

control_construct(_::_).
control_construct(::_).
control_construct(^^_).
control_construct(_<<_).
control_construct(':'(_,_)).

broken_step(Step, Error) :-
self(Object),
@@ -1594,14 +1594,16 @@
run_quick_check_test(Template, Entity, Operator, Name, Types)
).

decompose_quick_check_template(Object::Template, Object, (::), Template) :-
!.
decompose_quick_check_template(Object<<Template, Object, (<<), Template) :-
!.
decompose_quick_check_template(':'(Module,Template), Module, (:), Template) :-
!.
decompose_quick_check_template(Template, Sender, (<<), Template) :-
sender(Sender).
decompose_quick_check_template(Template, Entity, Operator, Predicate) :-
( control_construct(Template, Entity, Operator, Predicate) ->
true
; sender(Sender),
Entity = Sender, Operator = (<<), Predicate = Template
).

control_construct(Object::Template, Object, (::), Template).
control_construct(Object<<Template, Object, (<<), Template).
control_construct(':'(Module,Template), Module, (:), Template).

run_quick_check_test(Template, Entity, Operator, Name, Types) :-
generate_arbitrary_arguments(Types, Arguments),

0 comments on commit 0c12fc5

Please sign in to comment.
You can’t perform that action at this time.