Closed mtf90 closed 7 months ago
This PR adds refactorings and integration-tests for verifying that all (modular) AutomataLib artifacts can be succesully used in a jlinked application.
This PR adds refactorings and integration-tests for verifying that all (modular) AutomataLib artifacts can be succesully used in a jlinked application.