/* This test considers concurrent table creation and completion for
thread specific tables.  In addition, it creates nested sccs */ 

:- import random_pause/1 from mttestutils.

test(Str):- 
	table_call_a(Str).

:- table table_call_a/1.
:- table table_call_b/1.
table_call_a(Str):- 
	random_pause(1000),
	writeln(Str,'in a'),
	table_call_b(Str).

table_call_b(Str):- 
	random_pause(1000),
	writeln(Str,'in b'),
	fail.