more dataset

Berkeley-Correctness-Group · Jun 23, 2014 · 6dd819e · 6dd819e
1 parent d2d2e3c
commit 6dd819e
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/tests/demo/simple.js b/tests/demo/simple.js
@@ -0,0 +1,11 @@
+function f(a, b) {
+    if(a > 0) {
+        // then branch
+    } else {
+        if (b === 35){
+            // else branch
+        }
+    }
+}
+
+f();
diff --git a/tests/demo/typeof.js b/tests/demo/typeof.js
@@ -0,0 +1,8 @@
+
+
+var input = J$.readInput(true);
+if(typeof input === 'object') {
+    1;
+} else {
+    2;
+}