I've been using the Java backend for symbolic execution because it has substitution (e.g. E[V/X]). Is substitution implemented in the Haskell backend?
Is substitution implemented in the Haskell backend?
49 views Asked by laifs At
1
I've been using the Java backend for symbolic execution because it has substitution (e.g. E[V/X]). Is substitution implemented in the Haskell backend?
As of July 2020, the answer is no.