Diagnostics from 181 analysis tool

 * > I have partially tested the partial evaluator.
 * > Remember the examples which I picked from Ripe database with ambiguous
 * > use of AND/OR/NOT. 
 * > Here are the results of partial evaluation on these examples:
 * > 
 * > peval NOT AS1729 AS1741 AS1755
 * > Evaluates to:
 * > (NOT(1729 ))

Well, I do not know. Doesn't this say:

AS1741 OR AS1755 OR NOT AS1729

In which case the OR NOT AS1729 is superfluous ...

 * > peval NOT \(AS701 AND AS174 AND AS1133 AND AS1800 AND AS2044\)
 * > Evaluates to:
 * > ANY

Not true. What f there is a route orginating in all these ASes? It
should be denied .....

 * > 
 * > peval AS690 AS1103 AND NOT \(AS1133 AND AS1800 AND AS286 AND AS1890\)
 * > Evaluates to:
 * > ((690 1103 ))

Same here ...

 * > 
 * > peval AS2125 NOT \(AS286 AND AS517\)
 * > Evaluates to:
 * > ANY

And the same here. A route can be originated in AS286 and AS517 and
then should be denied ....


 * > peval ANY AND NOT \(AS286 AS3 AS8 AS17 AS19 AS22 AS3673\)
 * > Evaluates to:
 * > (NOT(3 8 17 19 22 286 3673 ))

True.

-Marten



-------- Logged at  Tue Oct 25 22:03:40 MET 1994  ---------