5 Jul
2007
5 Jul
'07
10:32 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2007-07-05 22:32:53
Modified files: interfaces/Prolog/tests: pl_check.pl
Log message: Modified the test for large integers in the case that current_prolog_flag(bounded, true) holds. In this case, the generated large integer may wrap and any comparison with Max_int - obtained with current_prolog_flag(max_integer, Max_int) meaningless. So we also compare the generated integer with another number that is generated to be about half its size (and therefore already tested).
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_che...