Update the test to use FileCheck.