search

viperproject / axiom-profiler-2

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
https://viperproject.github.io/axiom-profiler-2/
8 stars 3 forks source link

Stuck when applying "Hide all but 10 most expensive" #21

Closed oskari1 closed 2 months ago

oskari1 commented 3 months ago

When I upload heaps-simpler3.log and then apply the filter "Hide all but 10 expensive", the AP gets stuck in the reconnect function.

oskari1 commented 2 months ago

This commit fixes it.