add run-all.sh

Author: daejunpark

run-all.sh

@@ -0,0 +1,34 @@
+#!/bin/bash
+
+echo "Installing KJS..."
+make
+
+echo
+echo "Running core test262..."
+make test262-clean
+make -k test262-core >test262.out
+echo "The result was saved at: test262.out"
+
+echo
+echo "Running core test262 with measuring semantic coverage..."
+( cd test262-coverage
+  make test262-clean
+  make -k test262-core-coverage
+  ./coverage.sh >test262-coverage.out
+)
+echo "The result was saved at: test262-coverage/test262-coverage.out"
+
+echo
+echo "Finding security attack..."
+( cd security-attack
+  make clean
+  make >security-attack.out
+)
+echo "The result was saved at: security-attack/security-attack.out"
+
+echo
+echo "Verifying example programs..."
+( cd verification
+  make >verification.out
+)
+echo "The result was saved at: verification/verification.out"

security-attack/Makefile

@@ -14,7 +14,7 @@ js.k: ../js.k
 
 .PHONY: run
 run:
-	krun -w none --smt none --search send.js >send.js.out
+	krun -w none --smt none --search send.js
 
 .PHONY: clean
 clean:

security-attack/send.js.out renamed to security-attack/security-attack.out

@@ -8,4 +8,4 @@ echo "Generating coverage report..."
 ./report.py coverage ../js.k | \
 sed 's/^[ ]\([ ]*0[ ][ ]*\)\(rule\|Let\|Do\|If\|Return\|Nop\|Exit\)/!\1\2/' | \
 sed 's/^\([ ][ ]*\)0/\1 /' | \
-sed 's/^!/ /' >coverage.k
+sed 's/^!/ /'