Geeks
vlstill
/
pcc
Property Checking for Catch2
Primary Language
C++
BSD 2-Clause "Simplified" License
BSD-2-Clause
pcc GitHub
Markdown
Readme
1
Issue
9
Stargazers
2
Watchers
Issues
Open issue
Add support for generating statefull functions
#4 opened
6 years ago
0