183 строки
6.0 KiB
HTML
183 строки
6.0 KiB
HTML
<!DOCTYPE html>
|
|
<html lang="en">
|
|
<head>
|
|
|
|
|
|
<meta charset="utf-8">
|
|
<meta http-equiv="X-UA-Compatible" content="IE=edge">
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
|
|
|
|
|
|
|
<link rel="shortcut icon" href="/coyote/img/favicon.ico">
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
<title>Coyote</title>
|
|
<link href="/coyote/css/bootstrap-3.3.7.min.css" rel="stylesheet">
|
|
<link href="/coyote/css/font-awesome-4.7.0.css" rel="stylesheet">
|
|
<link href="/coyote/css/base.css" rel="stylesheet">
|
|
<link rel="stylesheet" href="/coyote/css/highlight.css">
|
|
<link href="./css/main.css" rel="stylesheet">
|
|
<link href="./css/player-controls.css" rel="stylesheet">
|
|
<link href="./css/syntax.css" rel="stylesheet">
|
|
<!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
|
|
<!--[if lt IE 9]>
|
|
<script src="https://oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script>
|
|
<script src="https://oss.maxcdn.com/libs/respond.js/1.3.0/respond.min.js"></script>
|
|
<![endif]-->
|
|
|
|
<script src="/coyote/js/jquery-3.2.1.min.js"></script>
|
|
<script src="/coyote/js/bootstrap-3.3.7.min.js"></script>
|
|
<script src="/coyote/js/highlight.pack.js"></script>
|
|
<script src="https://consentdeliveryfd.azurefd.net/mscc/lib/v2/wcp-consent.js"></script>
|
|
|
|
<base target="_top">
|
|
<script>
|
|
var base_url = '/coyote/';
|
|
var is_top_frame = false;
|
|
var page_toc = null;
|
|
|
|
</script>
|
|
<script src="/coyote/js/base.js"></script>
|
|
<script src="./assets/js/analytics.js"></script>
|
|
<script src="./assets/js/plugins.js"></script>
|
|
<script src="./assets/js/animate_trace.js"></script>
|
|
<script src="./assets/js/animation.js"></script>
|
|
<script src="./assets/js/progress_bar.js"></script>
|
|
<script src="./assets/js/trace_model.js"></script>
|
|
<script src="./assets/js/main.js"></script>
|
|
|
|
</head>
|
|
|
|
<body>
|
|
<script>
|
|
if (is_top_frame) { $('body').addClass('wm-top-page'); }
|
|
</script>
|
|
|
|
<div id="cookie-banner"></div>
|
|
|
|
|
|
<div class="wrapper wm-page-content">
|
|
<div class="container-fluid">
|
|
<a name="_top"></a>
|
|
|
|
|
|
<h1 id="search">Search Results</h1>
|
|
|
|
<ul id="mkdocs-search-results" class="wm-search-page">
|
|
Searching...
|
|
</ul>
|
|
|
|
<script>
|
|
window.top.doSearch({
|
|
resultsElem: $('#mkdocs-search-results'),
|
|
query: getParam('q'),
|
|
snippetLen: 200,
|
|
limit: 0
|
|
});
|
|
</script>
|
|
|
|
|
|
<br>
|
|
|
|
|
|
<br>
|
|
</div>
|
|
</div>
|
|
|
|
<footer class="wm-page-content">
|
|
|
|
|
|
<section class="footer-join pt-40 pb-80">
|
|
<div class="container-fluid">
|
|
<div class="row text-center">
|
|
<div class="col-sm-8 col-sm-offset-2">
|
|
</div>
|
|
</div>
|
|
<div class="row">
|
|
</div>
|
|
</div>
|
|
</section>
|
|
<section class="footer-dark pt-60">
|
|
<div class="container-fluid">
|
|
<div class="row">
|
|
<div class="hidden-xs col-sm-5 col-lg-6">
|
|
<a href="" title="homepage" class="logo-footer">
|
|
<img src="/coyote/assets/images/icon.png" alt="Coyote">
|
|
</a>
|
|
</div>
|
|
|
|
<div class="col-sm-2 col-xs-4 footer-dark-col">
|
|
<nav>
|
|
<h4>Coyote</h4>
|
|
<ul class="list-unstyled">
|
|
<li><a href="/coyote/">Home</a></li>
|
|
<li><a href="/coyote/get-started/install/">Install</a></li>
|
|
<li><a href="https://github.com/microsoft/coyote/"><i class="fa fa-github"></i>
|
|
GitHub</a></li>
|
|
</ul>
|
|
</nav>
|
|
</div>
|
|
|
|
<div class="col-sm-2 col-xs-4 footer-dark-col">
|
|
<nav>
|
|
<h4>Resources</h4>
|
|
<ul class="list-unstyled">
|
|
<li><a href="/coyote/tutorials/first-concurrency-unit-test/">Getting started</a></li>
|
|
<li><a href="/coyote/tutorials/overview/">Tutorials</a></li>
|
|
<li><a href="/coyote/ref/Microsoft.Coyote">API documentation</a></li>
|
|
</ul>
|
|
</nav>
|
|
</div>
|
|
|
|
<div class="col-sm-2 col-xs-4 footer-dark-col">
|
|
<nav>
|
|
<h4>Community</h4>
|
|
<ul class="list-unstyled">
|
|
<li><a href="https://github.com/microsoft/coyote/discussions"><i class="fa fa-github"></i>
|
|
GitHub</a></li>
|
|
<li><a href="https://twitter.com/coyote_dev" target="_blank"><i class="fa fa-twitter"></i> Twitter</a></li>
|
|
<li><a href="https://teams.microsoft.com/l/channel/19%3a1fe966b4fdc544bca648d89bf25c3c56%40thread.tacv2/General?groupId=7a6d8afc-c23d-4e5d-b9cb-9124118c0220&tenantId=72f988bf-86f1-41af-91ab-2d7cd011db47" target="_blank">Teams (Internal)</a></li>
|
|
</ul>
|
|
</nav>
|
|
</div>
|
|
</div>
|
|
|
|
<div class="row footnote pt-50 pb-20">
|
|
<div class="col-sm-12">
|
|
<hr>
|
|
</div>
|
|
<div class="col-sm-7">
|
|
<ul class="list-unstyled list-inline footnote-copy">
|
|
<li><a href="https://go.microsoft.com/fwlink/?LinkId=521839" target="_blank">Privacy & Cookies</a></li>
|
|
<li><a href="https://go.microsoft.com/fwlink/?linkid=2259814" target="_blank">Consumer Health Privacy</a></li>
|
|
<li><a href="https://go.microsoft.com/fwlink/?LinkID=206977" target="_blank">Terms of Use</a></li>
|
|
<li><a href="https://www.microsoft.com/en-us/legal/intellectualproperty/trademarks" target="_blank">Trademarks</a></li>
|
|
<li><a href="https://github.com/microsoft/coyote/blob/main/LICENSE" target="_blank">License</a></li>
|
|
</ul>
|
|
</div>
|
|
<div class="col-sm-5 text-right footnote-copy">
|
|
<ul class="list-unstyled list-inline">
|
|
<li><span id="copyright"></span></li>
|
|
<li><a href="https://www.microsoft.com/" target="_blank"><img class="img-responsive" src="/coyote/assets/images/microsoft-logo.svg?v=3" alt="Microsoft"> </a></li>
|
|
</ul>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</section>
|
|
</footer>
|
|
|
|
|
|
<script type="text/javascript">
|
|
$(document).ready(function () {
|
|
$('table').each(function () {
|
|
$(this).addClass("table");
|
|
$(this).addClass("table-bordered");
|
|
$(this).addClass("table-striped");
|
|
$(this).addClass("table-condensed");
|
|
});
|
|
|
|
});
|
|
</script>
|
|
|
|
</body>
|
|
</html> |