C++ Taking Toll

Posted on June 25, 2016 by Marko Dimjašević

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.