Add create_trace.sh.

Author: aarlt

scripts/end-to-end/create_traces.sh

@@ -0,0 +1,25 @@
+#!/bin/bash
+
+BASE_PATH="$( cd "$(dirname "$0")" >/dev/null 2>&1 ; pwd -P )"
+
+mkdir -p build
+cd build
+cmake ../../../
+make soltest
+cd test/
+echo "running soltest on 'semanticTests/extracted'..."
+./soltest --color_output=false --log_level=test_suite -t semanticTests/extracted/ -- --testpath ${BASE_PATH}/../../test --no-smt --evmonepath /Users/alex/evmone/lib/libevmone.dylib --show-messages > ${BASE_PATH}/extracted-tests.trace
+echo "running soltest on 'semanticTests/extracted'... done"
+
+cd $BASE_PATH
+git clone git@github.com:ethereum/solidity.git solidity-develop
+cd solidity-develop
+mkdir -p build
+cd build
+cmake ..
+make soltest
+cd test/
+echo "running soltest on 'SolidityEndToEndTest'..."
+./soltest --color_output=false --log_level=test_suite -t SolidityEndToEndTest/ -- --testpath ${BASE_PATH}/solidity-develop/test --no-smt --evmonepath /Users/alex/evmone/lib/libevmone.dylib --show-messages > ${BASE_PATH}/end-to-end-tests.trace
+echo "running soltest on 'SolidityEndToEndTest'... done"
+

scripts/end-to-end/verify-testcases.py

@@ -164,7 +164,7 @@ def check_traces(self, test_name, left, right, mismatches):
 
 
 def main(argv):
-    semantic_trace_file = None
+    extracted_tests_trace_file = None
     end_to_end_trace_file = None
     try:
         opts, args = getopt.getopt(argv, "s:e:")
@@ -174,26 +174,26 @@ def main(argv):
 
     for opt, arg in opts:
         if opt in '-s':
-            semantic_trace_file = arg
+            extracted_tests_trace_file = arg
         elif opt in '-e':
             end_to_end_trace_file = arg
 
     base_path = os.path.dirname(__file__)
-    if not semantic_trace_file:
-        semantic_trace_file = base_path + "/semanticTests.trace"
+    if not extracted_tests_trace_file:
+        extracted_tests_trace_file = base_path + "/extracted-tests.trace"
     if not end_to_end_trace_file:
-        end_to_end_trace_file = base_path + "/SolidityEndToEndTest.trace"
+        end_to_end_trace_file = base_path + "/end-to-end-tests.trace"
 
-    for f in [semantic_trace_file, end_to_end_trace_file]:
+    for f in [extracted_tests_trace_file, end_to_end_trace_file]:
         if not os.path.isfile(f):
             print("trace file '" + f + "' not found. aborting.")
             sys.exit(1)
 
-    if not os.path.isfile(semantic_trace_file):
-        print("semantic trace file '" + semantic_trace_file + "' not found. aborting.")
+    if not os.path.isfile(extracted_tests_trace_file):
+        print("semantic trace file '" + extracted_tests_trace_file + "' not found. aborting.")
         sys.exit(1)
 
-    semantic_trace = TraceAnalyser(semantic_trace_file)
+    semantic_trace = TraceAnalyser(extracted_tests_trace_file)
     end_to_end_trace = TraceAnalyser(end_to_end_trace_file)
 
     semantic_trace.diff(end_to_end_trace)