Method testDoubleLiteral

src/test/java/pascal/taie/ir/LiteralTest.java:61–63

(double d)

    }

    private static void testDoubleLiteral(double d) {
        assertEquals(DoubleLiteral.get(d).getValue(), d, 0);
    }
}