Incorrect serialization of lambda expressions

[amgad-rady]

JPF does not correctly handle the FLAG_SERIALIZABLE field of java.lang.invoke.LambdaMetaFactory. Certain serializable lambda expressions, like those in java.util.Comparator, do not have the interface java.io.Serializable in their set of interfaces. The following test will fail

  @Test
  public void testComparingInt() {
    if (verifyNoPropertyViolation()) {
      ToIntFunction<Integer> keyExtractor = (x) -> 0;
      Comparator<Integer> comparator = comparingInt(keyExtractor);
    }
  }

[Deleted user]

hi would you please tell me more about it.

[Daohan Qu]

duplicate of #234

[Daohan Qu]

Hi @cyrille-artho and @pparizek, this is a duplicate issue, and we may close it.