• Michael Dunphy's avatar
    Embed the case file source in the SPINS binary. · 1d616e81
    Michael Dunphy authored
    The case file source code is embedded into the binary at compile time.
    At runtime, the source code is printed to spinscase.cpp. This eliminates
    the need to maintain a copy of the case file alongside the binary.