Function getModuleName

src/simulate/debug_info.cpp:882–886

    static string getModuleName ( const string & nameWithDots ) {
        auto idx = nameWithDots.find_last_of("./");
        if ( idx==string::npos ) return nameWithDots;
        return nameWithDots.substr(idx+1);
    }

    static string getModuleFileName ( const string & nameWithDots ) {
        auto fname = nameWithDots;