Tutorial: libvsync locks

Clone libvsync repo

cd tutorials/libvsync-locks/microbench/
mkdir deps
cd deps
git clone https://github.com/open-s4c/libvsync.git
cd ../..

In the following we assume you are in the libvsync-locks directory.

./configure.sh
. ./venv/bin/activate

./campaign_locks.py