module Settings where

testFile, postCond :: String
testFile = "2d-arrays1"
postCond = "(true)"

nrOfUnroll :: Int
nrOfUnroll = 1