blob: 10c7cadd77f53d236121a7ae2517d1f60f1bd4f0 [file] [log] [blame]
<html>
<head>
<title>Basic</title>
<script src="ast.js"></script>
<script src="basic.js"></script>
<script src="caseless_map.js"></script>
<script src="lexer.js"></script>
<script src="number.js"></script>
<script src="parser.js"></script>
<script src="random.js"></script>
<script src="state.js"></script>
<script src="util.js"></script>
<script src="benchmark.js"></script>
<script>
function runTest() {
try {
var result = runBenchmark();
document.getElementById("result-summary").innerHTML = "That took " + result + " ms.";
} catch (e) {
document.getElementById("result-summary").innerHTML = "Failed: " + e;
}
}
</script>
</head>
<body>
<h1>Basic</h1>
<p>
<div id="result-summary"></div>
<div><a href="javascript:runTest()">Start Test</a></div>
</p>
</body>
</html>