[Xsb-commits] CVS: XSB/packages/xasp/tests/basic_tests cook_ex.P, 1.1, 1.2

[Terrance S. <ts...@us...>]

Update of /cvsroot/xsb/XSB/packages/xasp/tests/basic_tests
In directory sc8-pr-cvs10.sourceforge.net:/tmp/cvs-serv25817/xasp/tests/basic_tests

Modified Files:
	cook_ex.P 
Log Message:
Removing old interprolog stuff, which never made it as a package.


Index: cook_ex.P
===================================================================
RCS file: /cvsroot/xsb/XSB/packages/xasp/tests/basic_tests/cook_ex.P,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- cook_ex.P	2 Jul 2006 20:18:53 -0000	1.1
+++ cook_ex.P	27 Sep 2007 17:43:35 -0000	1.2
@@ -3,6 +3,13 @@
 :- import smcInit/0, smcAddRule/2, smcCommitProgram/0 from sm_int.
 :- import smcSetCompute/1, smComputeModel/0, smcExamineModel/1, smEnd/0 
 					from sm_int.
+:- import thread_create/2 from thread.
+:- import print_cache/0 from sm_int.
+
+test(0):-!.
+test(N):- thread_create(test,_),N1 is N - 1,test(N1).
+
+test:- cookex_all.
 
 cookex_all :-
 	smcInit,
@@ -10,6 +17,7 @@
 	smcAddRule(b,[]),
 	smcAddRule(d,[a,not(c)]),
 	smcAddRule(c,[b,not(d)]),
+%	print_cache,
 	smcCommitProgram,
 	write('All Solutions: '),nl,
 	(   smComputeModel,