Add refs for grammar- and solver-based testing.