[Xsb-commits] CVS: xsbtests/delay_tests tabsimp_seq.P,NONE,1.1 tabsimp_seq_old,NONE,1.1 test.sh,1.6,1.7

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

Update of /cvsroot/xsb/xsbtests/delay_tests
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv14790

Modified Files:
	test.sh 
Added Files:
	tabsimp_seq.P tabsimp_seq_old 
Log Message:

Added test to ensure overflow checks are made before allocating completion stack frames.


--- NEW FILE: tabsimp_seq.P ---

/* Added this test to ensure that we check for stack reallocation
   before placing a completion suspension choice point. */

:- table win/2.

test(N):- 
	win(1,N),
	writeln(won).

win(A,N):- cycle(A,B,N),tnot(win(B,N)).

cycle(A,B,N):- 
	integer(A),
	A > 0,
	(A < N -> 
	    B is A + 1
	  ; (A == N -> (B = 1 ; B = A) ) ).




--- NEW FILE: tabsimp_seq_old ---
won

Index: test.sh
===================================================================
RCS file: /cvsroot/xsb/xsbtests/delay_tests/test.sh,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -r1.6 -r1.7
--- test.sh	13 Dec 2000 16:35:23 -0000	1.6
+++ test.sh	23 Jan 2006 21:55:39 -0000	1.7
@@ -150,3 +150,5 @@
 # Test of simplification and delete return
 #----------------------------------------------------------------------
 ../gentest.sh "$XEMU $opts" dret_test "test."
+
+../gentest.sh "$XEMU $opts" tabsimp_seq "test(20000)."