$ git submodule update --init --recursive$ source skribe-env
$ skribe-build
$ skribe-start$ skribe-shell$ cd 9lives
$ ./build-skribe.sh
$ skribe build
$ skribe runruntimeverification/skribe-advanced-fuzzing
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|