aboutsummaryrefslogtreecommitdiff
path: root/exampleData/headlessRuns/galois_report/summary.html
diff options
context:
space:
mode:
Diffstat (limited to 'exampleData/headlessRuns/galois_report/summary.html')
-rw-r--r--exampleData/headlessRuns/galois_report/summary.html252
1 files changed, 252 insertions, 0 deletions
diff --git a/exampleData/headlessRuns/galois_report/summary.html b/exampleData/headlessRuns/galois_report/summary.html
new file mode 100644
index 0000000..c98f7b0
--- /dev/null
+++ b/exampleData/headlessRuns/galois_report/summary.html
@@ -0,0 +1,252 @@
+
+<html>
+ <head>
+ <title>Summary of Results
+ </title>
+ <style type="text/css">h1 { font-size: 150%; }h2 { font-size: 110%; }table { border: 1px solid grey; cellpadding: 5%; width: 200px; }
+td.pass-number{ text-align: right;color: green; }
+td.fail-number{ text-align: right;color: red; }
+td.text{ text-align: left; }
+th { font-weight: bold; }
+td, th { border: 1px solid grey; }
+tr.hlRow { background: #EEEEEE; }
+
+ </style>
+ </head>
+ <body>
+ <h1>Headless Run Summary
+ </h1>
+ <p>
+ <ul>
+ <li>
+ <a href="byurl.html">Results organized by URL
+ </a>
+ </li>
+ <li>
+ <a href="byrule.html">Results organized by Rule
+ </a>
+ </li>
+ </ul>
+ </p>
+ <p>
+ <div id="stats">
+ <p>
+ <h3>Unique URLs:
+ <span class="number">20
+ </span>
+ </h3>
+ </p>
+ <p>
+ <table id="stats-table">
+ <tr>
+ <th>URL
+ </th>
+ <th>Pass
+ </th>
+ <th>Fail
+ </th>
+ </tr>
+ <tr class="hlRow">
+ <td class="text">
+ <a href="http://corp.galois.com/">http://corp.galois.com/
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">7
+ </td>
+ </tr>
+ <tr class="regRow">
+ <td class="text">
+ <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">8
+ </td>
+ </tr>
+ <tr class="hlRow">
+ <td class="text">
+ <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">26
+ </td>
+ </tr>
+ <tr class="regRow">
+ <td class="text">
+ <a href="http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html">http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">5
+ </td>
+ </tr>
+ <tr class="hlRow">
+ <td class="text">
+ <a href="http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html">http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">5
+ </td>
+ </tr>
+ <tr class="regRow">
+ <td class="text">
+ <a href="http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html">http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">5
+ </td>
+ </tr>
+ <tr class="hlRow">
+ <td class="text">
+ <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">15
+ </td>
+ </tr>
+ <tr class="regRow">
+ <td class="text">
+ <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">11
+ </td>
+ </tr>
+ <tr class="hlRow">
+ <td class="text">
+ <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">10
+ </td>
+ </tr>
+ <tr class="regRow">
+ <td class="text">
+ <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">14
+ </td>
+ </tr>
+ <tr class="hlRow">
+ <td class="text">
+ <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">14
+ </td>
+ </tr>
+ <tr class="regRow">
+ <td class="text">
+ <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">12
+ </td>
+ </tr>
+ <tr class="hlRow">
+ <td class="text">
+ <a href="http://corp.galois.com/people/">http://corp.galois.com/people/
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">40
+ </td>
+ </tr>
+ <tr class="regRow">
+ <td class="text">
+ <a href="http://corp.galois.com/research/">http://corp.galois.com/research/
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">5
+ </td>
+ </tr>
+ <tr class="hlRow">
+ <td class="text">
+ <a href="http://corp.galois.com/services/">http://corp.galois.com/services/
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">5
+ </td>
+ </tr>
+ <tr class="regRow">
+ <td class="text">
+ <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">5
+ </td>
+ </tr>
+ <tr class="hlRow">
+ <td class="text">
+ <a href="http://corp.galois.com/technologies/">http://corp.galois.com/technologies/
+ </a>
+ </td>
+ <td class="pass-number">4
+ </td>
+ <td class="fail-number">0
+ </td>
+ </tr>
+ <tr class="regRow">
+ <td class="text">
+ <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">18
+ </td>
+ </tr>
+ <tr class="hlRow">
+ <td class="text">
+ <a href="http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74">http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">1
+ </td>
+ </tr>
+ <tr class="regRow">
+ <td class="text">
+ <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/
+ </a>
+ </td>
+ <td class="pass-number">2
+ </td>
+ <td class="fail-number">7
+ </td>
+ </tr>
+ </table>
+ </p>
+ </div>
+ </p> \ No newline at end of file
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 07:30:18 +0000