devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 6 Actions Packages Projects 1 Releases Wiki Activity

Renamed stabbertests -> functionaltests

Browse Source
This commit is contained in:
James Booth
2015-05-28 18:56:16 +01:00
parent 6d6bb64588
commit e919445231
7 changed files with 12 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
.gitignore vendored
View File

@@ -69,7 +69,8 @@ callgrind.out.*
gen_docs.sh
main_fragment.html
toc_fragment.html
stabbertests/stabbertestsuite
stabbertests/stabbertestsuite.trs
unittests/unittests
unittests/unittests.trs
functionaltests/functionaltests
functionaltests/functionaltests.trs