test_EFT#

Tests the properties of Error-Free Transformations for floating point.

These tests will fail if choreo is not compiled with the correct optimization flags.

test_elemental

Tests the behavior of the most basic error-free transformations.