Vihren Atlas

stringEdit.test|title=Edit tryRebase invariants case293|occurrence=1, stringEdit.test|title=Edit tryRebase invariants case366|occurrence=1, +11

Test frontier

unlabeled · c_72b0cf62fa59

49 tests · 6681 LOC · 39 files · introduces 13 tests · 0 LOC · 0 files

Introduces — evidence that enters the hierarchy at this concept

Code
0 ranges0 lines · 0 files
Tests
13 tests

Contains — complete concept membership

All code (extent)
1147 ranges6681 lines · 39 files · Browse complete extent
All tests (intent)
49 testsBrowse complete intent

Neighbourhood graph

The orange circle is the focus. Violet and green circles are every ancestor and descendant, broader and narrower, at any distance; blue squares and pink diamonds are the introduced files and exact introduced tests of every visible concept, not only the focus's. Arrows point from broader to narrower concepts and bridge only concepts omitted from this view. Undirected links show source or test introduction. Concept and file size follows LOC; exact test nodes use test-count units.

Introduced files, introduced tests, and structurally relevant concept specialization

In the embedded map, ordinary wheel input scrolls the page; use the visible controls to zoom and drag to pan. Open the full-screen map for canvas navigation: wheel pans, Ctrl/Command plus wheel zooms, and arrow keys pan when this region is focused. On touch screens, open the full-screen map to pan or pinch. If JavaScript or WebGL is unavailable, use the native relationship evidence on this page.

Graph controls are ready.

Interactive rendering requires JavaScript and WebGL. Use the native relationship evidence on this page while the interactive map is unavailable.

Native relationship evidence

Every exact file and test below is linked only from the concept that introduces it.

Introduced tests

Every collected test enters the hierarchy at exactly one concept.

13 tests introduced at this concept.

Introduced code

Every collected source range enters the hierarchy at exactly one concept.

No code is introduced at this concept. Its 1147 extent ranges are introduced by other concepts.

See where each range enters

Direct hierarchy

Parents

Children