5 lines
124 B
Markdown
5 lines
124 B
Markdown
# Getting started
|
|
|
|
1. Run `nix-shell`
|
|
2. Run `make clean klee CFLAGS=-DdrawSquare=drawSquareWeird` to run `drawSquareWeird`
|