Skip to content
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

Erroneous parameter scan running on the server generates incomprehensible error messages. #1334

Open
CodeByDrescher opened this issue Jul 30, 2024 · 0 comments
Labels
Error Reporting All issues related to the relay of errors java Pull requests that update Java code Type: Bug bug report user interface

Comments

@CodeByDrescher
Copy link
Contributor

Te4st case involves using initial conditions / bounds when they are set to 0.

@CodeByDrescher CodeByDrescher added Type: Bug bug report java Pull requests that update Java code Error Reporting All issues related to the relay of errors user interface labels Jul 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Error Reporting All issues related to the relay of errors java Pull requests that update Java code Type: Bug bug report user interface
Projects
Status: Pool
Development

No branches or pull requests

1 participant