35 lines
843 B
HTML
35 lines
843 B
HTML
<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>
|
|
|
|
|