README.md: add End of Execution Summary section
[model-checker.git] / mainpage.dox
1 /**
2  * @mainpage
3  * @htmlinclude README.html
4  */