modified how analysis are triggered based on the consitency between local and charon db
Merge pull request #71 from vezzi/devel

modified how analysis are triggered based on the consistency between local and charon db