Commit 721478e9 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Tests added

parent 3f510ab2
......@@ -18,6 +18,10 @@
"exportedModules": [
"System.IOExts"
],
"testsuite": {
"src-dir": "test",
"modules": [ "TestConnect" ]
},
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/io-extra.git",
"tag": "$version"
......
-- Testing operations from library IOExts:
import System.IO
import System.IOExts
import Test.Prop
-- Execute shell command show the first output line of its execution:
getExec cmd = do
hdl <- connectToCommand cmd
s <- hGetLine hdl
hClose hdl
return s
testConnectToCommand = (getExec "echo abcde") `returns` "abcde"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment