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.

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

Tooltip on Simulate action does not always get updated #104

Open
smithdtyler opened this issue Dec 13, 2024 · 1 comment
Open

Tooltip on Simulate action does not always get updated #104

smithdtyler opened this issue Dec 13, 2024 · 1 comment

Comments

@smithdtyler
Copy link

smithdtyler commented Dec 13, 2024 •
edited
Loading

FRET Version 2.9.0
OS Ubuntu 22

I ran realizability with Kind2, then switched to JKind and re-ran realizability. After the switch the simulate action was enabled, but the tool tip about JKind remained.

Screenshot 2024-12-13 at 11 19 47 AM
@smithdtyler smithdtyler mentioned this issue Dec 13, 2024
Closed
@andreaskatis
Copy link
Contributor

andreaskatis commented Dec 18, 2024 •
edited
Loading

Hi @smithdtyler ,

This issue has been now addressed and a fix for it should appear with our next release. Thanks for reporting it!

Best Regards,

Andreas

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@andreaskatis @smithdtyler