Are these tests actually executed? I thought there was a requirement to have the word "test" in the name...