Linear unit-tests for invariance discovery

Open in new window