Skip to content

Add state prioritization by visit count for the program location

Петров Олег Максимович requested to merge locations into smg-master

Add state prioritization by location visit count

Add LocationSortedWaitlist and option 'analysis.traversal.useLocationVisitCount' to prioritize the ARG state with the least count of visits of the same location in the program.

In practice, the analysis will only traverse any location once, until all program locations are visited (and then can be visited the second time). If analysis reaches the time limit, it likely has visited locations and unrolled loops only once.

Merge request reports

Loading