This example seems to be working.
Working example with some refactoring.
Added various examples only one of them is working.
Added projects for elevator and replicated workers.
Source files moved to packages.
Added working configuration for elevator - detecting race conditions.
Added successfull configuration for finding race and deadlock in replicated workers.
Added new project for CodeContracts homework with implemented task 1 - integer container.
Added some contracts.
PathCreat renamed to MultipleCreat and successfully discovered a race condition when initializing from multiple threads.
Added useful method to FSHelper - converts an array of bytes to string.
Found best solution for replicated workers - race condition.
Added more contracts and first simple test for them
Total commit. After this changes the project was sent to the teacher.