I’ve already learned more C++ in extending KLEE for GSoC 2016 than I was comfortable with, and this has been taking its toll. For example, you cannot have a vector of abstract classes due to object slicing. Sigh.
I’ve already learned more C++ in extending KLEE for GSoC 2016 than I was comfortable with, and this has been taking its toll. For example, you cannot have a vector of abstract classes due to object slicing. Sigh.