# identify the project. Note that if you do not use Doxywizard you need
# to put quotes around the project name if it contains spaces.
-PROJECT_NAME = "CDSChecker: A Model Checker for C11/C++11 Atomics"
+PROJECT_NAME = "C11Fuzzer: A Fuzzer for C11/C++11 Atomics"
# The PROJECT_NUMBER tag can be used to enter a project or revision number.
# This could be handy for archiving the generated documentation or