statelearner icon indicating copy to clipboard operation
statelearner copied to clipboard
verified publisher icon jderuiter

Handle exception when dot is not present gracefully

Open jderuiter opened this issue 8 years ago • 2 comments

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.

jderuiter avatar May 23 '17 12:05 jderuiter

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.

IMhappyZzz avatar Sep 07 '17 09:09 IMhappyZzz

@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?

jderuiter avatar Sep 29 '17 13:09 jderuiter