changed way of URI generation in FileTest class

javapathfinder · Jun 6, 2024 · 1cbd9bc · 1cbd9bc
1 parent cb896bd
commit 1cbd9bc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/output.txt b/output.txt
@@ -0,0 +1 @@
+After.
diff --git a/src/tests/gov/nasa/jpf/test/java/io/FileTest.java b/src/tests/gov/nasa/jpf/test/java/io/FileTest.java
@@ -110,8 +110,8 @@ public void testToURI(){
     File file = new File("testfile.txt");
     URI expectedURI = null;
     try {
-      expectedURI = new URI("file:testfile.txt");
-    } catch (URISyntaxException e) {
+      expectedURI = new File(file.getAbsolutePath()).toURI();
+    } catch (Exception e) {
       fail("URISyntaxException thrown while constructing expected URI");
     }