Correctness checking tools availability

[Parveen Kumar Patel]

Hi,
In your paper titled "Programming language techniques for modular router
configurations", sec. 4.6, you mention that you are in the process of
developing tools that would check correctness of click configurations. Do
you have any such tools available now? The documentation on the web 
(http://www.pdos.lcs.mit.edu/click/doc/index.html) does not mention any
such tool.

I am running click on JanOS (www.cs.utah.edu/flux) for some of my
experiments and such a tool would be useful for debugging configuration
errors.

thanks,
-Parveen.

-------------------------------------------------------
Parveen Patel                       ppatel at cs.utah.edu |
Flux Research Group                 (801) 585-0694 (W) |               
University of Utah                  (801) 364-6013 (H) | 
-------------------------------------------------------