Port Hypothesis test: file operations

[touilleMan]

see

parsec-cloud/tests/core/fs/workspacefs/test_file_operations.py

Lines 198 to 245 in cb5cce5

	@pytest.mark.slow
	def test_file_operations(hypothesis_settings, tmpdir, alice):
	class FileOperations(RuleBasedStateMachine):
	def __init__(self) -> None:
	super().__init__()
	self.oracle = open(tmpdir / "oracle.txt", "w+b")
	self.manifest = LocalFileManifest.new_placeholder(
	alice.device_id, parent=EntryID.new(), blocksize=8, timestamp=alice.timestamp()
	)
	self.storage = Storage()
	def teardown(self) -> None:
	self.oracle.close()
	self.storage.clear()
	@invariant()
	def integrity(self) -> None:
	self.manifest.assert_integrity()
	@invariant()
	def leaks(self) -> None:
	all_ids = {chunk.id for chunks in self.manifest.blocks for chunk in chunks}
	assert set(self.storage) == all_ids
	@rule(size=size, offset=size)
	def read(self, size: int, offset: int) -> None:
	data = self.storage.read(self.manifest, size, offset)
	self.oracle.seek(offset)
	expected = self.oracle.read(size)
	assert data == expected
	@rule(content=strategies.binary(max_size=MAX_SIZE), offset=size)
	def write(self, content: bytes, offset: int) -> None:
	self.manifest = self.storage.write(self.manifest, content, offset, alice.timestamp())
	self.oracle.seek(offset)
	self.oracle.write(content)
	@rule(length=size)
	def resize(self, length: int) -> None:
	self.manifest = self.storage.resize(self.manifest, length, alice.timestamp())
	self.oracle.truncate(length)
	@rule()
	def reshape(self) -> None:
	self.manifest = self.storage.reshape(self.manifest)
	assert self.manifest.is_reshaped()
	run_state_machine_as_test(FileOperations, settings=hypothesis_settings)

component to be tested are location in https://github.com/Scille/parsec-cloud/blob/master/libparsec/crates/client/src/workspace/transactions/file_operations.rs

can be implemented with PropTest

[mmmarcos]

Done in #6577