We'd like to verify behavior parity before making the final switch over from stella to ddsa.
What is your solution?
Add --ddsa-runtime CLI flag to the analyzer and the server.
Modify integration tests to run both stella and ddsa.
impl Default for AnalysisOptions (will make test authoring less verbose down the line)
Alternatives considered
What the reviewer should know
This implementation is a bit (in my opinion unavoidably) janky because of how we have to support both runtimes, but have to also try to share the same logic path from file -> analysis -> result. Please only review the PR functionality -- this code will be deleted eventually and cleaned up anyway.
What problem are you trying to solve?
We'd like to verify behavior parity before making the final switch over from stella to ddsa.
What is your solution?
--ddsa-runtime
CLI flag to the analyzer and the server.AnalysisOptions
(will make test authoring less verbose down the line)Alternatives considered
What the reviewer should know