Skip to content

Commit

Permalink
Update coverage tests
Browse files Browse the repository at this point in the history
  • Loading branch information
roxelo committed Apr 1, 2021
1 parent c2c76a0 commit 42797e2
Show file tree
Hide file tree
Showing 87 changed files with 1,840 additions and 1,840 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -70,12 +70,12 @@
</head>
<body>
<div class="code" style="counter-reset: line 13"><span class="line"><span><span class="code even" style="--layer: 1" title="15:25-15:27: @0[1]: _1 = const 10_i32
15:9-15:22: @0[2]: FakeRead(ForLet, _1)"><span class="annotation">@0⦊</span>fn main() -&gt; Result&lt;(), u8&gt; {</span></span>
15:9-15:22: @0[2]: FakeRead(ForLet(None), _1)"><span class="annotation">@0⦊</span>fn main() -&gt; Result&lt;(), u8&gt; {</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="15:25-15:27: @0[1]: _1 = const 10_i32
15:9-15:22: @0[2]: FakeRead(ForLet, _1)"> let mut countdown = 10<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0">;</span></span>
15:9-15:22: @0[2]: FakeRead(ForLet(None), _1)"> let mut countdown = 10<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0">;</span></span>
<span class="line"><span class="code" style="--layer: 0"> while </span><span><span class="code odd" style="--layer: 1" title="16:11-16:20: @2[2]: _5 = _1
16:11-16:24: @2[3]: _4 = Gt(move _5, const 0_i32)
16:11-16:24: @2[5]: FakeRead(ForMatchedPlace, _4)"><span class="annotation">@1,2⦊</span>countdown &gt; 0<span class="annotation">⦉@1,2</span></span></span><span class="code" style="--layer: 0"> {</span></span>
16:11-16:24: @2[5]: FakeRead(ForMatchedPlace(None), _4)"><span class="annotation">@1,2⦊</span>countdown &gt; 0<span class="annotation">⦉@1,2</span></span></span><span class="code" style="--layer: 0"> {</span></span>
<span class="line"><span class="code" style="--layer: 0"> if </span><span><span class="code even" style="--layer: 1" title="17:12-17:21: @5[3]: _8 = _1
17:12-17:25: @5[4]: _7 = Lt(move _8, const 5_i32)"><span class="annotation">@3,5⦊</span>countdown &lt; 5<span class="annotation">⦉@3,5</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="18:13-18:31: @6.Call: _9 = might_abort(const false) -&gt; [return: bb8, unwind: bb19]
17:26-19:10: @8[1]: _6 = const ()"><span class="annotation">@6,8⦊</span>{</span></span>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,7 @@
7:18-7:31: @1[8]: _8 = &amp;(*_9)
7:18-7:31: @1[9]: _7 = move _8 as &amp;[&amp;str] (Pointer(Unsize))
7:9-7:33: @1[15]: _15 = ()
7:9-7:33: @1[16]: FakeRead(ForMatchedPlace, _15)
7:9-7:33: @1[16]: FakeRead(ForMatchedPlace(None), _15)
7:9-7:33: @1[17]: _32 = const might_abort::promoted[2]
7:9-7:33: @1[18]: _13 = &amp;(*_32)
7:9-7:33: @1[19]: _12 = &amp;(*_13)
Expand All @@ -90,7 +90,7 @@
7:18-7:31: @1[8]: _8 = &amp;(*_9)
7:18-7:31: @1[9]: _7 = move _8 as &amp;[&amp;str] (Pointer(Unsize))
7:9-7:33: @1[15]: _15 = ()
7:9-7:33: @1[16]: FakeRead(ForMatchedPlace, _15)
7:9-7:33: @1[16]: FakeRead(ForMatchedPlace(None), _15)
7:9-7:33: @1[17]: _32 = const might_abort::promoted[2]
7:9-7:33: @1[18]: _13 = &amp;(*_32)
7:9-7:33: @1[19]: _12 = &amp;(*_13)
Expand All @@ -104,7 +104,7 @@
10:18-10:31: @2[8]: _22 = &amp;(*_23)
10:18-10:31: @2[9]: _21 = move _22 as &amp;[&amp;str] (Pointer(Unsize))
10:9-10:33: @2[15]: _29 = ()
10:9-10:33: @2[16]: FakeRead(ForMatchedPlace, _29)
10:9-10:33: @2[16]: FakeRead(ForMatchedPlace(None), _29)
10:9-10:33: @2[17]: _30 = const might_abort::promoted[0]
10:9-10:33: @2[18]: _27 = &amp;(*_30)
10:9-10:33: @2[19]: _26 = &amp;(*_27)
Expand All @@ -119,7 +119,7 @@
10:18-10:31: @2[8]: _22 = &amp;(*_23)
10:18-10:31: @2[9]: _21 = move _22 as &amp;[&amp;str] (Pointer(Unsize))
10:9-10:33: @2[15]: _29 = ()
10:9-10:33: @2[16]: FakeRead(ForMatchedPlace, _29)
10:9-10:33: @2[16]: FakeRead(ForMatchedPlace(None), _29)
10:9-10:33: @2[17]: _30 = const might_abort::promoted[0]
10:9-10:33: @2[18]: _27 = &amp;(*_30)
10:9-10:33: @2[19]: _26 = &amp;(*_27)
Expand All @@ -134,7 +134,7 @@
10:18-10:31: @2[8]: _22 = &amp;(*_23)
10:18-10:31: @2[9]: _21 = move _22 as &amp;[&amp;str] (Pointer(Unsize))
10:9-10:33: @2[15]: _29 = ()
10:9-10:33: @2[16]: FakeRead(ForMatchedPlace, _29)
10:9-10:33: @2[16]: FakeRead(ForMatchedPlace(None), _29)
10:9-10:33: @2[17]: _30 = const might_abort::promoted[0]
10:9-10:33: @2[18]: _27 = &amp;(*_30)
10:9-10:33: @2[19]: _26 = &amp;(*_27)
Expand All @@ -149,7 +149,7 @@
10:18-10:31: @2[8]: _22 = &amp;(*_23)
10:18-10:31: @2[9]: _21 = move _22 as &amp;[&amp;str] (Pointer(Unsize))
10:9-10:33: @2[15]: _29 = ()
10:9-10:33: @2[16]: FakeRead(ForMatchedPlace, _29)
10:9-10:33: @2[16]: FakeRead(ForMatchedPlace(None), _29)
10:9-10:33: @2[17]: _30 = const might_abort::promoted[0]
10:9-10:33: @2[18]: _27 = &amp;(*_30)
10:9-10:33: @2[19]: _26 = &amp;(*_27)
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -70,12 +70,12 @@
</head>
<body>
<div class="code" style="counter-reset: line 8"><span class="line"><span><span class="code even" style="--layer: 1" title="10:25-10:27: @0[1]: _1 = const 10_i32
10:9-10:22: @0[2]: FakeRead(ForLet, _1)"><span class="annotation">@0⦊</span>fn main() -&gt; Result&lt;(),u8&gt; {</span></span>
10:9-10:22: @0[2]: FakeRead(ForLet(None), _1)"><span class="annotation">@0⦊</span>fn main() -&gt; Result&lt;(),u8&gt; {</span></span>
<span class="line"><span class="code even" style="--layer: 1" title="10:25-10:27: @0[1]: _1 = const 10_i32
10:9-10:22: @0[2]: FakeRead(ForLet, _1)"> let mut countdown = 10<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0">;</span></span>
10:9-10:22: @0[2]: FakeRead(ForLet(None), _1)"> let mut countdown = 10<span class="annotation">⦉@0</span></span></span><span class="code" style="--layer: 0">;</span></span>
<span class="line"><span class="code" style="--layer: 0"> while </span><span><span class="code odd" style="--layer: 1" title="11:11-11:20: @2[2]: _5 = _1
11:11-11:24: @2[3]: _4 = Gt(move _5, const 0_i32)
11:11-11:24: @2[5]: FakeRead(ForMatchedPlace, _4)"><span class="annotation">@1,2⦊</span>countdown &gt; 0<span class="annotation">⦉@1,2</span></span></span><span class="code" style="--layer: 0"> {</span></span>
11:11-11:24: @2[5]: FakeRead(ForMatchedPlace(None), _4)"><span class="annotation">@1,2⦊</span>countdown &gt; 0<span class="annotation">⦉@1,2</span></span></span><span class="code" style="--layer: 0"> {</span></span>
<span class="line"><span class="code" style="--layer: 0"> if </span><span><span class="code even" style="--layer: 1" title="12:12-12:21: @5[3]: _8 = _1
12:12-12:26: @5[4]: _7 = Eq(move _8, const 1_i32)"><span class="annotation">@3,5⦊</span>countdown == 1<span class="annotation">⦉@3,5</span></span></span><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="13:13-13:33: @6.Call: _9 = might_fail_assert(const 3_u32) -&gt; [return: bb8, unwind: bb15]
12:27-14:10: @8[1]: _6 = const ()"><span class="annotation">@6,8⦊</span>{</span></span>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,7 @@
5:14-5:32: @0[9]: _5 = move _6 as &amp;[&amp;str] (Pointer(Unsize))
5:34-5:46: @0[17]: _14 = &amp;_1
5:5-5:48: @0[18]: _13 = (move _14,)
5:5-5:48: @0[20]: FakeRead(ForMatchedPlace, _13)
5:5-5:48: @0[20]: FakeRead(ForMatchedPlace(None), _13)
5:5-5:48: @0[22]: _15 = (_13.0: &amp;u32)
5:5-5:48: @0[25]: _17 = &amp;(*_15)
5:5-5:48: @0[27]: _18 = &lt;u32 as std::fmt::Display&gt;::fmt as for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r u32, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) -&gt; std::result::Result&lt;(), std::fmt::Error&gt; (Pointer(ReifyFnPointer))
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@
</head>
<body>
<div class="code" style="counter-reset: line 23"><span class="line"> <span><span class="code even" style="--layer: 1" title="24:38-24:74: @1[3]: _13 = (move _14,)
24:38-24:74: @1[5]: FakeRead(ForMatchedPlace, _13)
24:38-24:74: @1[5]: FakeRead(ForMatchedPlace(None), _13)
24:38-24:74: @1[7]: _25 = (_13.0: &amp;std::fmt::Arguments)
24:38-24:74: @1[10]: _27 = &amp;(*_25)
24:38-24:74: @1[12]: _28 = &lt;std::fmt::Arguments as std::fmt::Display&gt;::fmt as for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r std::fmt::Arguments, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) -&gt; std::result::Result&lt;(), std::fmt::Error&gt; (Pointer(ReifyFnPointer))
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@
</head>
<body>
<div class="code" style="counter-reset: line 23"><span class="line"> <span><span class="code even" style="--layer: 1" title="24:38-24:74: @1[3]: _13 = (move _14,)
24:38-24:74: @1[5]: FakeRead(ForMatchedPlace, _13)
24:38-24:74: @1[5]: FakeRead(ForMatchedPlace(None), _13)
24:38-24:74: @1[7]: _25 = (_13.0: &amp;std::fmt::Arguments)
24:38-24:74: @1[10]: _27 = &amp;(*_25)
24:38-24:74: @1[12]: _28 = &lt;std::fmt::Arguments as std::fmt::Display&gt;::fmt as for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r std::fmt::Arguments, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) -&gt; std::result::Result&lt;(), std::fmt::Error&gt; (Pointer(ReifyFnPointer))
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@
</head>
<body>
<div class="code" style="counter-reset: line 23"><span class="line"> <span><span class="code even" style="--layer: 1" title="24:38-24:74: @1[3]: _13 = (move _14,)
24:38-24:74: @1[5]: FakeRead(ForMatchedPlace, _13)
24:38-24:74: @1[5]: FakeRead(ForMatchedPlace(None), _13)
24:38-24:74: @1[7]: _25 = (_13.0: &amp;std::fmt::Arguments)
24:38-24:74: @1[10]: _27 = &amp;(*_25)
24:38-24:74: @1[12]: _28 = &lt;std::fmt::Arguments as std::fmt::Display&gt;::fmt as for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r std::fmt::Arguments, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) -&gt; std::result::Result&lt;(), std::fmt::Error&gt; (Pointer(ReifyFnPointer))
Expand Down
Loading

0 comments on commit 42797e2

Please sign in to comment.