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.