This repository has been archived by the owner on Nov 21, 2019. It is now read-only.

opensoft / proof-gtest Public archive

Notifications You must be signed in to change notification settings
Fork 1
Star 2

GoogleTest fork with extra stuff for testing Proof

BSD-3-Clause, BSD-3-Clause licenses found

Licenses found

LICENSE.opensoft

2 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 53 Commits
cmake		cmake
gtest		gtest
.gitignore		.gitignore
.travis.yml		.travis.yml
CMakeLists.txt		CMakeLists.txt
LICENSE.google		LICENSE.google
LICENSE.opensoft		LICENSE.opensoft
README.md		README.md
proofmodule.json		proofmodule.json

Repository files navigation

proof-gtest

GoogleTest fork with extra stuff for testing Proof

About

GoogleTest fork with extra stuff for testing Proof

BSD-3-Clause, BSD-3-Clause licenses found

Licenses found

LICENSE.opensoft

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 4

Languages

C++ 99.0%
Other 1.0%