[Click] A Click Verification Tool

[Ru-Gang Xu]

Hello folks;

I need people to give me their Click configurations to test a Click
verification tool.

I'm writing a Click verification tool which checks for various
correctness properties of the form:

Element A requires Properties 1, Properties 2, Properties 3 . . .
Property 1 is generated by Element B or Element C . . .
Property 1 is destroyed by Element D or Element E . . .

A simple example would be for a "IP header annotation" property which
reports an error if the IP header annotation was needed by an element but
that annotation was never created or was recently destroyed.

The tool is still in development, but it's ready to verify some Click
code. I would appreciate it if anyone can send me their click programs
(buggy or not; the bigger and more complex, the better!). Of course none
of your code would be released, and they would only used for testing my
verifier.

Also, I would appreciate any input on the type of properties to be
checked. These can be specific properties of the form mentioned above or
something totally strange (but cool and useful).

RuGang

"be like a cache and write back!"