Code

Buffer test branch#463

Code

Merged

cyrille-artho merged 4 commits intojavapathfinder:java-17javapathfinder/jpf-core:java-17from eklaDFF:bufferTestBrancheklaDFF/jpf-core:bufferTestBranchCopy head branch name to clipboardJun 24, 2024

+77-8

Commits

Commits on Jun 20, 2024

• add new tests in BufferTest.java

  eklaDFF

  committed
  76cd506

• Enable tests on JPF, set UTF-8 for javac.

  cyrille-artho

  committed
  e644977

Commits on Jun 22, 2024

• add position() method in CharBuffer.java class

  eklaDFF

  committed
  da0f057

• add custom mismatch() to replace BufferMismatch.mismatch() in ByteBuffer.equals() method

  eklaDFF

  committed
  81b303c