Changeset 3664 for trunk/ProjectFortress/tests

Timestamp:

04/23/09 13:31:06 (7 months ago)

Author:

jmaessen

Message:

[tests] fixed oversight on getEnvironment->getProperty for these tests.

Location:

trunk/ProjectFortress/tests

Files:

• LongStringTests.fss (modified) (3 diffs)
• WordCountSmall.fss (modified) (2 diffs)

trunk/ProjectFortress/tests/LongStringTests.fss

@@ -21 +21 @@
 import Timing.{...}
 import List.{...}
-import System.{getEnvironment}
+import System.{getProperty}
 
 export Testable
@@ -57 +57 @@
                         "unbalanced"
                     end  )
-    output = FileWriteStream(getEnvironment("fortress.autohome", ".") "/ProjectFortress/tests/poem.out")
+    output = FileWriteStream(getProperty("fortress.autohome", ".") "/ProjectFortress/tests/poem.out")
     output.write(balancedContents)
     output.close()
@@ -64 +64 @@
 
 readFile(n: ZZ32): () = do
-    input = FileReadStream(getEnvironment("fortress.autohome", ".") "/ProjectFortress/tests/poem.txt")
+    input = FileReadStream(getProperty("fortress.autohome", ".") "/ProjectFortress/tests/poem.txt")
     maxLeafSize := n
     fileContents := BIG || [ c ← seq(input.chunks(n)) ] c

trunk/ProjectFortress/tests/WordCountSmall.fss

@@ -21 +21 @@
 import List.{...}
 import Map.{...}
-import System.{getEnvironment}
+import System.{getProperty}
 
 export Executable
@@ -120 +120 @@
 
 run()= do
-    processFile(getEnvironment("fortress.autohome", ".") "/ProjectFortress/tests/presidents")
+    processFile(getProperty("fortress.autohome", ".") "/ProjectFortress/tests/presidents")
 end
 end