<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>app.sl - Coverage</title>
<link rel="stylesheet" href="../assets/style.css">
</head>
<body>
<div class="container">
<header>
<h1>app.sl</h1>
<a href="../index.html" class="back-link">← Back to Dashboard</a>
</header>
<section class="source-view">
<table>
<tbody>
<tr class="code-line uncovered">
<td class="line-num">1</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>fn health(req: Any) -> Any {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">2</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> return {</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">3</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "status": 200,</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">4</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "headers": {"Content-Type": "text/plain"},</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">5</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre> "body": "OK"</pre></td>
</tr><tr class="code-line">
<td class="line-num">6</td>
<td class="line-indicator"></td>
<td class="code-content"><pre> };</pre></td>
</tr><tr class="code-line">
<td class="line-num">7</td>
<td class="line-indicator"></td>
<td class="code-content"><pre>}</pre></td>
</tr><tr class="code-line">
<td class="line-num">8</td>
<td class="line-indicator"></td>
<td class="code-content"><pre></pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">9</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>http_server_get("/health", "health");</pre></td>
</tr><tr class="code-line uncovered">
<td class="line-num">10</td>
<td class="line-indicator">✗</td>
<td class="code-content"><pre>http_server_listen(3000);</pre></td>
</tr>
</tbody>
</table>
</section>
</div>
</body>
</html>