numinit/ap-cs-klee
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
2 Commits 1 Branch 0 Tags
master
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Morgan Jones ee88b2faa6 Rename student examples
2021-10-17 23:29:44 -07:00
.gitignore
A beginning is a very delicate time
2021-10-17 22:32:05 -07:00
drawSquare.c
Rename student examples
2021-10-17 23:29:44 -07:00
klee.nix
A beginning is a very delicate time
2021-10-17 22:32:05 -07:00
Makefile
A beginning is a very delicate time
2021-10-17 22:32:05 -07:00
README.md
A beginning is a very delicate time
2021-10-17 22:32:05 -07:00
shell.nix
A beginning is a very delicate time
2021-10-17 22:32:05 -07:00

README.md

Getting started

  1. Run nix-shell
  2. Run make clean klee CFLAGS=-DdrawSquare=drawSquareWeird to run drawSquareWeird
Reference in New Issue View Git Blame Copy Permalink
Description
No description provided
Readme 33 KiB
Languages
C 76.4%
Nix 18.4%
Makefile 5.2%