<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html
        xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
<head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
    <link rel="stylesheet" href=".resources/coverage.css" type="text/css" />
    <title>{{FILENAME}}</title>
</head>
<body>
<div class="menu" id="menu">
    {{LINKS_TO_OTHER_REPORTS}}
</div>
<h1>{{FILENAME}}</h1>
<table class="coverage" cellspacing="0" id="coveragetable">
    <thead>
    {{TABLE_HEADER}}
    </thead>
    <tfoot>
    {{TABLE_FOOTER}}
    </tfoot>
    <tbody>
    {{TABLE_BODY}}
    </tbody>
</table>
<div class="footer">
    <span class="right">
        Created with 
        <a href="https://github.com/dafny-lang/dafny">Dafny</a>
    </span>
</div>
</body>
</html>