Method getInt

src/main/java/pascal/taie/config/AnalysisOptions.java:113–115

(String key)

    }

    public int getInt(String key) {
        return (Integer) get(key);
    }

    public float getFloat(String key) {
        return (Float) get(key);