Code

java.net.URI.toURI broken#460

Code

Merged

cyrille-artho merged 4 commits intojavapathfinder:masterjavapathfinder/jpf-core:masterfrom Harsh4902:issue#457Harsh4902/jpf-core:issue#457Copy head branch name to clipboardJun 7, 2024

+33-1

Commits

Commits on Jun 3, 2024

• created unit test for 'toURI' in 'File' model class

  Harsh4902

  committed
  a12c87c

Commits on Jun 4, 2024

• removed 'non-null' check from 'toURI' in FileTest.java

  Harsh4902

  committed
  cb896bd

Commits on Jun 6, 2024

• changed way of URI generation in FileTest class

  Harsh4902

  committed
  1cbd9bc

Commits on Jun 7, 2024

• created 'JavaNetUriAccess' interface and added getter setter for the same in SharedSceret class

  Harsh4902

  committed
  a2b9067