Skip to content

Conversation

@thorulf4
Copy link
Contributor

@thorulf4 thorulf4 commented Jan 3, 2023

We can also implement floating point initializers as a warning instead.

@mikucionisaau mikucionisaau merged commit 1cc0263 into UPPAALModelChecker:main Jan 19, 2023
@thorulf4 thorulf4 deleted the featurecheck_improvement branch January 19, 2023 08:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants