[IGSTK-Developers] DART client config question
    Kevin Gary 
    kgary at asu.edu
       
    Mon Jun  6 15:00:00 EDT 2005
    
    
  
I have a student working on configuring a DART client for the
first time. Is there a public DART server that he can submit stub
tests to in order to confirm he has the client configured properly?
Also, is there a configuration on the IGSTK dashboard page
that needs to be done to add our server? We would like to
add our tests on the state machine model checking once we
have it completed.
Thanks,
K2
-- 
===
Kevin A. Gary, Ph.D.
Assistant Professor
DCST, ASU East       
(480)727-1373
http://kgary2.east.asu.edu
kgary at asu.edu
    
    
More information about the IGSTK-Developers
mailing list