Code

Add Proxy support for JPF on Java 11#356

Code

Merged

cyrille-artho merged 5 commits intojavapathfinder:java-10-gradlejavapathfinder/jpf-core:java-10-gradlefrom quadhier:java-10-gradleCopy head branch name to clipboardJun 2, 2023

+308-4

Commits

Commits on May 31, 2023

• Add a model class for java.lang.reflect.Proxy and add some helper methods in its native peer

  quadhier

  committed
  c4a09b1

  Copy full SHA for c4a09b1

• Add some unit tests for the class Proxy

  quadhier

  committed
  5e37d30

  Copy full SHA for 5e37d30

Commits on Jun 1, 2023

• Assert proxy name explicitly in unit test

  quadhier

  committed
  964ea85

  Copy full SHA for 964ea85

• Update Proxy unit test in case of choice generator

  quadhier

  committed
  f73f217

  Copy full SHA for f73f217

• Add a proxy invocation test

  quadhier

  committed
  7d86b7a

  Copy full SHA for 7d86b7a