Skip to content

Conversation

mtf90
Copy link
Member

@mtf90 mtf90 commented Jul 31, 2025

The new version adds support for

and fixes a bug concerning the re-ordering of variables when clearing the function cache.

The initial version of this PR still references the SNAPSHOT version. Once all our integration-tests pass, we can roll out the add-lib release and switch to the stable version.

@mtf90 mtf90 merged commit 125bd72 into LearnLib:develop Aug 7, 2025
20 of 23 checks passed
@mtf90 mtf90 deleted the addlib-4.0 branch August 7, 2025 20:22
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.

M3C does not run on M1 MacBooks

1 participant