need ubuntu20 testing (#27) · Issues · Open Source Software / SMPStaticAnalyzer