diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix test procedures

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@532 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2002-06-13 22:29:40 +00:00
parent 8365f9bcd6
commit fe75673528
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
library/rbtrees.yap
View File

@ -401,11 +401,9 @@ build_ptree(X1,X,T0,TF) :-
clean_tree(X,X,T0,TF) :- !, clean_tree(X,X,T0,TF) :- !,
format("cleaning ~d~n", [X]),
delete(T0,X,TF), delete(T0,X,TF),
( rbtree(TF) -> true ; abort). ( rbtree(TF) -> true ; abort).
clean_tree(X1,X,T0,TF) :- clean_tree(X1,X,T0,TF) :-
format("cleaning ~d~n", [X1]),
delete(T0,X1,TI), delete(T0,X1,TI),
X2 is X1+1, X2 is X1+1,
( rbtree(TI) -> true ; abort), ( rbtree(TI) -> true ; abort),
@ -431,8 +429,9 @@ test_neg :-
build_ntree(2,Size,T0,T), build_ntree(2,Size,T0,T),
% pretty_print(T), % pretty_print(T),
rbtree(T), rbtree(T),
clean_tree(1,Size,T,_), MSize is -Size,
bclean_tree(Size,1,T,_), clean_tree(MSize,-1,T,_),
bclean_tree(-1,MSize,T,_),
count(1,Size,X), NX is -X, ( delete(T,NX,TF) -> true ; abort ), count(1,Size,X), NX is -X, ( delete(T,NX,TF) -> true ; abort ),
% pretty_print(TF), % pretty_print(TF),
rbtree(TF), rbtree(TF),