More general test case for issue #109

cs-au-dk · Jul 2, 2014 · 0769947 · 0769947
1 parent bc68293
commit 0769947
Showing 1 changed file with 35 additions and 0 deletions.
diff --git a/artemis-code/tests/system/fixtures/concolic/_direct-use-of-bool.html b/artemis-code/tests/system/fixtures/concolic/_direct-use-of-bool.html
@@ -0,0 +1,35 @@
+<!--
+
+-->
+<!doctype html><html lang="en">
+<head>
+	<meta charset="utf-8">
+	<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
+
+	<title>Ben Spencer</title>
+	<meta name="author" content="Ben Spencer">
+	<script type="text/javascript">
+		var x = "testme";
+
+		function validate() {
+			var y = document.getElementById("testinput").value;
+
+			return y == x;
+		}
+	</script>
+
+</head>
+<body>
+
+	<p>Write <i>testme</i> in the field to do something.</p>
+
+	<form method="GET" action="about:blank" >
+
+		<input type="text" id="testinput" />
+
+		<button type="submit" onclick="return validate();">Submit</button>
+
+	</form>
+
+</body>
+</html>