Sebastian Junges 4d231c06b2 Merge branch 'master' of https://github.com/moves-rwth/storm 4 years ago
..
README.md Renamed gtest directory to make it version independent. 4 years ago

README.md

Content Moved

We are working on updates to the GoogleTest documentation, which has moved to the top-level docs directory.