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.

Sign up for GitHub

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

Jump to bottom

Verify robustness requirement when both tests passed #2

Merged

pattacini merged 1 commit into master from fix/robust-req

Jul 7, 2024

Member

pattacini commented Jul 7, 2024 •

edited

Loading

As per the title.

By just running Test Pendulum 1, we don't get ReqFun_2 verified.
We need to have Test Pendulum 2 passed as well.


          verify robustness req when both tests pass

538ae8e

pattacini self-assigned this

pattacini merged commit 27de004 into master

pattacini deleted the fix/robust-req branch

July 7, 2024 16:24

pattacini changed the title ~~Verify robustness requirement when both tests pass~~ Verify robustness requirement when both tests passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet