Explicitly load dependencies for many tests

src/Tests/GC/test_agc_copyterm.pl

@@ -36,6 +36,7 @@
           [ test_agc_copyterm/0
           ]).
 :- use_module(library(plunit)).
+:- use_module(library(debug)).
 
 test_agc_copyterm :-
     run_tests([ agc_copyterm

src/Tests/core/test_code_type.pl

@@ -36,6 +36,10 @@
 :- module(test_code_type, [test_code_type/0]).
 :- use_module(library(plunit)).
 :- use_module(library(apply)).
+:- use_module(library(aggregate)).
+:- use_module(library(debug)).
+:- use_module(library(ordsets)).
+:- use_module(library(varnumbers)).
 
 /** <module> Test Prolog text code_typeting primitives
 

src/Tests/core/test_text.pl

@@ -35,6 +35,7 @@
 
 :- module(test_text, [test_text/0]).
 :- use_module(library(plunit)).
+:- use_module(library(debug)).
 
 /** <module> Test Prolog core text processing primitives
 

src/Tests/db/test_db.pl

@@ -35,6 +35,9 @@
 
 :- module(test_db, [test_db/0]).
 :- use_module(library(plunit)).
+:- use_module(library(debug)).
+:- use_module(library(gensym)).
+:- use_module(library(lists)).
 
 /** <module> Test Prolog core database functions
 

src/Tests/library/test_aggregate.pl

@@ -40,6 +40,7 @@
 :- use_module(library(dif)).
 :- use_module(library(hashtable)).
 :- use_module(library(lists)).
+:- use_module(library(debug)).
 
 test_aggregate :-
 	run_tests([ foreach,

src/Tests/library/test_apply.pl

@@ -37,6 +37,9 @@
           [ test_apply/0
           ]).
 :- use_module(library(apply)).
+:- use_module(library(plunit)).
+:- use_module(library(solution_sequences)).
+:- use_module(library(yall)).
 
 % Test foldl of library(apply)
 % Author: David Tonhofer Dec 2020

src/Tests/library/test_date.pl

@@ -40,6 +40,7 @@
 :- use_module(library(lists)).
 :- use_module(library(plunit)).
 :- use_module(library(date)).
+:- use_module(library(debug)).
 
 :- dynamic
 	error/1.

src/Tests/library/test_evaluable_property.pl

@@ -39,6 +39,7 @@
           ]).
 :- use_module(library(plunit)).
 :- use_module(library(prolog_evaluable)).
+:- use_module(library(debug)).
 
 test_evaluable_property :-
     run_tests(evaluable_property).

src/Tests/library/test_intercept.pl

@@ -37,7 +37,7 @@
           ]).
 :- use_module(library(plunit)).
 :- use_module(library(intercept)).
-
+:- use_module(library(debug)).
 
 test_intercept :-
     run_tests([ intercept

src/Tests/tabling/test_incr_answer_subsumption.pl

@@ -40,6 +40,9 @@
 :- use_module(library(plunit)).
 :- use_module(library(increval)).
 :- use_module(library(tables)).
+:- use_module(library(apply)).
+:- use_module(library(debug)).
+:- use_module(library(prolog_code)).
 
 %!  test_incr_answer_subsumption
 %

src/Tests/tabling/test_shared_units.pl

@@ -38,6 +38,8 @@
           [ test_shared_units/0
           ]).
 :- use_module(library(plunit)).
+:- use_module(library(debug)).
+:- use_module(library(time)).
 
 test_shared_units :-
     run_tests([ shared_reeval

src/Tests/thread/thr_local_1.pl

@@ -36,6 +36,9 @@
 	  [ thr_local_1/0
 	  ]).
 :- use_module(library(apply)).
+:- use_module(library(debug)).
+:- use_module(library(lists)).
+:- use_module(library(ordsets)).
 
 /** <module> Test thread local predicates
 

src/Tests/transaction/test_transactions.pl

@@ -43,6 +43,7 @@
 :- use_module(library(apply)).
 :- use_module(library(error)).
 :- use_module(library(debug)).
+:- use_module(library(ordsets)).
 
 :- meta_predicate
     test_transaction(:).
@@ -201,9 +202,10 @@
 
 test_transaction(M:List) :-
     must_be(list, List),
+    anon_threads(Initial),
     test(List, 1, _{module:M}, State),
     cleanup(State),
-    assertion(no_more_threads).
+    assertion(no_more_threads(Initial)).
 
 test([], _, State, State).
 test([discard|More], _, State, _) :-
@@ -378,12 +380,16 @@
     thread_send_message(Thread, done),
     thread_join(Thread).
 
-no_more_threads :-
+anon_threads(Threads) :-
     current_prolog_flag(threads, true),
     !,
-    findall(T, anon_thread(T), Anon),
-    Anon == [].
-no_more_threads.
+    findall(T, anon_thread(T), List),
+    sort(List, Threads).
+anon_threads([]).
+
+no_more_threads(Initial) :-
+    anon_threads(Now),
+    ord_subtract(Now, Initial, []).
 
 anon_thread(T) :-
     thread_property(T, id(_)),