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

General internal action loop detector using leadsTo pragmas

parent ff49c48e
No related branches found
No related tags found
1 merge request!350Model-checker updates
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