Repository navigation

Make the redundancy check part of the database tests - #437

Merged

ScriptRaccoon merged 6 commits into

mainfrom

redundancy-check-mandatory

Oct 26, 2026

Merged

Make the redundancy check part of the database tests#437
ScriptRaccoon merged 6 commits into
mainfrom
redundancy-check-mandatory

Commits on Oct 26, 2026
- remove redundant proof for uniform spaces
  ScriptRaccoon
  committed
  e280952
- redundancy script throws errors
  ScriptRaccoon
  committed
  fdabfca
- automatically run the redundancy check as part of the test script
  ScriptRaccoon
  committed
  cabb298
- include inherited properties (from parent structures) in redundancy check
  ScriptRaccoon
  committed
  04abd55
- remove incorrect redundancy flags
  ScriptRaccoon
  committed
  b8430bf
- update documentation regarding the redundancy check
  ScriptRaccoon
  committed
  2fcf173