This Typestate Library is a tool that enables C++ users to define a protocol for their classes. This tool will significantly facilitate and secure the user’s work by detecting any violations of the protocol that the user specifies for objects.
On Windows, you can download it from here.
On Mac, you can download the Xcode program from the Apple store, use Command Line Tool, and choose C++ in the Language section.
On Linux, you can download it from here.
git clone https://github.com/CoLab-Glasgow/Coconut.git
git clone --branch boost-1.81.0 --depth 1 https://github.com/boostorg/boost.git
### Build the Coconut Library ##
- Navigate to the "Coconut" directory using the command:
cd Coconut
- Once inside the "Coconut" directory, run the following commands to build the library:
mkdir build cd build cmake ...
#### Environment of the build ###
Windows 11 Pro, using Visual Studio Code as the IDE (Version: 1.87.2), with GCC version 13.2.0 (MinGW-W64 x86_64-msvcrt-posix-she)
#### To compile and configure examples with cmake ####
for one case study use this command: cmake --build . --target Client1
### To run examples ###
for one case study use this command: ./Client1