Convert tests to FileCheck