-
Notifications
You must be signed in to change notification settings - Fork 10
Implementation of RA-learning without parameters. #191
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: master
Are you sure you want to change the base?
Conversation
ParameterizedSymbol to TlsInput
TlsInputTransformer
build a timeout symbol
I think I'm running into a possible permissions issue. I get the following when trying to run the scandic configuration. |
I suggest you update file Now, regarding the issue you experiencing when running the above command, I also get the same error ( |
Update on the above. The issue you are experiencing is most likely due to not having set up the Scandium 2.6.2 SUT. ./setup_sut.sh scandium-2.6.2 After that, you can issue the command you want to test and you will most likely experience another error from Java, not a
In any case, the errors have nothing to do with (permissions on) the machine you are using. |
…pletion using RA test runner.
Initial draft without parameters, currently cannot learn a complete handshake.