Term index toggle missing in canary version

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/

Apache License 2.0

16 stars 3 forks source link

Term index toggle missing in canary version #39

Closed oskari1 closed 6 months ago

oskari1 commented 6 months ago

The stable version of the latest deployment (commit 1dcb604) has in the upper right corner a toggle "Ignore term IDs" as seen in the first screenshot below. When it is not selected, the IDs of the terms are shown as seen in the second screenshot below.

Currently there is a bug in the canary version of the latest deployed version, as this toggle is not present.

Stable version with selected toggle:

Stable version with deselected toggle:

Canary version without toggle:

JonasAlaif commented 6 months ago

Oh sorry that I did not check this earlier... @oskari1 this is not a bug: I moved that toggle to the flags page (under "Support" on the left)