Re: [Testcases] Core Safeness test is wrong, should be removed

Gary Hallmark wrote:
> this test http://www.w3.org/2005/rules/wiki/Core_Safeness incorrectly
> uses pred:numeric-add. When corrected to use func:numeric-add, the test

I made the correction.

> is the same as
> http://www.w3.org/2005/rules/wiki/Chaining_strategy_numeric-add_1
> (except the former is only a PositiveSyntaxTest whereas the latter is an
> entailment test).

This is the crucial difference.  The former is used to test whether
syntax validators correctly check safeness; the latter is used to test
the behavior of entailment checkers.


Best, Jos

> 
> I think this test should be removed.
> 

-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/