GaloisInc/cclyzerpp

FactGenerator: Duplication between Main.cpp and Wrapper.cpp

langston-barrett opened this issue · 1 comments

langston-barrett commented

These are almost identical, I'm sure we can unify them.

langston-barrett commented

Hmm, when moving factgen from Main.cpp to Wrapper.cpp, I get an undefined symbol linking error in Main.cpp. Not sure why that would be...