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

Parallelize model verification #444

Closed
treiher opened this issue Sep 22, 2020 · 1 comment
Closed

Parallelize model verification #444

treiher opened this issue Sep 22, 2020 · 1 comment
Labels
model Related to model package (e.g., model verification)
Projects
RecordFlux Future

Comments

@treiher
Copy link
Collaborator

treiher commented Sep 22, 2020

The verification of complex specifications is time-consuming. The model verification should be parallelized to reduce the required time.
@treiher treiher added this to To do in RecordFlux Future via automation Sep 22, 2020
@treiher treiher changed the title Prallelize model verification Parallelize model verification Apr 27, 2022
@senier senier added the model Related to model package (e.g., model verification) label Aug 24, 2022
@treiher
Copy link
Collaborator Author

treiher commented Dec 5, 2023

Improved in 071d6e1.

@treiher treiher closed this as completed Dec 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
model Related to model package (e.g., model verification)
Projects
No open projects
RecordFlux Future
  
Medium
Milestone
No milestone
Development

No branches or pull requests
2 participants
@senier @treiher