[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
beta version for test
From: |
Daniel Diaz |
Subject: |
beta version for test |
Date: |
Thu, 18 Mar 2004 13:50:05 +0100 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040116 |
Hi,
I'd like to release 1.2.18 as new stable version. Before this I'd like
to have feedbacks from people using other plateforms than ix86/linux,
ix86/cygwin/XP, ix86/msvc/XP. This new version also includes a port to
ix86/mingw (tested under XP). For instance tests on MacOS, 64-bit arch,
solaris, *BSD are welcome. So if you have some test programs (e.g. the
ones you used with earlier version of gprolog) and some free time I'd be
happy to receive your feedback (on this mailing list or directly to my
email). You can get a source distrib or a precompiled rpm (compiled on
ix86/redhat 9.0):
ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/unstable/gprolog-20040317.tgz
ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/unstable/gprolog-20040317.i386.rpm
BTW: I'd like to summarise the architectures where the stack overflow
mechanism does not work. For this I attach a test program called
stack_ovfl.pl. So if you have an architecture where the test program
does not work, please inform me precising the OS (e.g. 'uname -a') and
the version of gcc used (gcc -v).
Thank you for your help.
PS: to test stack overflow detection:
compile stack_ovfl.pl with:
gplc stack_ovfl.pl --min-size
set variables (e.g. bash):
export GLOBALSZ=100
export LOCALSZ=2000
export TRAILSZ=52
test with:
stack_ovfl local
stack_ovfl global
stack_ovfl trail
it should provide a msg:
Fatal Error: XXX stack overflow (size: YY Kb, environment variable
used: XXXSZ)
where XXX is the name of the stack, YY the current size.
--
===============================================
Daniel Diaz
University of Paris 1 INRIA Rocquencourt
75013 Paris FRANCE 78153 Le Chesnay FRANCE
web: http://pauillac.inria.fr/~diaz
email: address@hidden
--
Ce message a subi une analyse antivirus
par MailScanner ; il est vraisemblablement
sans danger.
/* to test stack overflow detection:
compile with:
gplc stack_ovfl.pl --min-size
set variables:
export GLOBALSZ=100
export LOCALSZ=2000
export TRAILSZ=52
test with:
stack_ovfl local|global|trail
should provide a msg:
Fatal Error: XXX stack overflow (size: YY Kb, environment variable used:
XXXSZ)
*/
:-initialization(go).
go :-
argument_value(1, T),
test(T), !,
write('finish... strange decrease correspondig stack size'), nl.
go :-
write('invalid argument (should be one of: local/global/trail)'), nl.
test(local):-
t_local.
test(global) :-
t_global(a).
test(trail) :-
t_trail(_).
t_local:-
t_local,
dummy.
dummy.
t_global(X):-
t_global(f(X,X)).
t_trail(a):-
t_trail(_).
t_trail(_).
- beta version for test,
Daniel Diaz <=