search

jderuiter / statelearner

A tool that can be used to learn state machines from implementations.
Apache License 2.0
60 stars 18 forks source link

Handle exception when dot is not present gracefully #3

Open jderuiter opened 7 years ago

jderuiter commented 7 years ago

When dot is not present on the system, currently the tool will crash with an exception. This exception should be caught and a meaningful message displayed to the user.

IMhappyZzz commented 7 years ago

Hi:

I just use the tool to test some other protocols , I modified the SUL and used TLSTestService.java to fit new protocol , and the test passed. But when I used learner.java to learn its statemachine , it runed some time and then the program got stuck after "INFO: Starting round 2", while the process did not stoped. as a result ,I can't learned the final hypothesis. what's wrong with it ?Thak you!

I just test learner again and the code is as same as before, the program could go to "INFO: Starting round 5". it's really strange.

jderuiter commented 6 years ago

@IMhappyZzz it's hard to say from this what exactly is going wrong. Could you open a separate issue for this and provide more detailed information?