  Code verification is a necessary step towards establishing credibility in
computational physics simulations. It is used to assess the correctness of the
implementation of the numerical methods within the code, and it is a continuous
part of code development. Code verification is typically performed using exact
and manufactured solutions. However, exact solutions are often limited, and
manufactured solutions generally require the invasive introduction of an
artificial forcing term within the source code, such that the code solves a
modified problem for which the solution is known. The equations for some
physics phenomena, such as non-decomposing ablation, yield infinite analytic
solutions, but the boundary conditions may eliminate these possibilities. For
such phenomena, however, we can manufacture the terms that comprise the
boundary conditions to obtain exact solutions. In this paper, we present a
nonintrusive method for manufacturing solutions for non-decomposing ablation in
two dimensions, which does not require the addition of a source term.
