Move Args to solver-test