Skip to content
Snippets Groups Projects
Commit 486c72c5 authored by tempiaa's avatar tempiaa
Browse files

Added code to limit the number of states in reachability graph creation

parent 57a62b1b
No related branches found
No related tags found
1 merge request!325Avatar model-checker improvements
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment