Skip to content
Snippets Groups Projects
Commit c58908ab authored by clc5q's avatar clc5q
Browse files

Avoid infinite looping on FindConditionalBranchTerminus(); only Dump()... 

Avoid infinite looping on FindConditionalBranchTerminus(); only Dump() SPARK-failing functions in verbose loops mode.

Former-commit-id: a993b29d0a4924ed8fad2c35ca8ae1385f10ce6d
parent 12160a49
No related branches found
No related tags found
No related merge requests found
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