Delete ControllerTesting.v