def testRead(self):
position = tryGetPos(self.globalState.safeFile)
length = tryGetSize(self.globalState.safeFile)
safeResult = tryRead(self.globalState.safeFile, length - position)
testResult = tryRead(self.globalState.testFile, length - position)
self.raiseExceptionIfDied()
assert safeResult == testResult
def testGetPos(self):
safePos = tryGetPos(self.globalState.safeFile)
testPos = tryGetPos(self.globalState.testFile)
self.raiseExceptionIfDied()
assert safePos == testPos
