From 004e767f499f440b8b706abea555881af9172f32 Mon Sep 17 00:00:00 2001
From: Leo Alt <leo@ethereum.org>
Date: Thu, 20 May 2021 22:48:51 +0200
Subject: [PATCH] try new solc-js tests

---
 test/externalTests/solc-js/solc-js.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/externalTests/solc-js/solc-js.sh b/test/externalTests/solc-js/solc-js.sh
index 9cc753959257..7962dec71ef9 100755
--- a/test/externalTests/solc-js/solc-js.sh
+++ b/test/externalTests/solc-js/solc-js.sh
@@ -35,7 +35,7 @@ function solcjs_test
     SOLCJS_INPUT_DIR="$TEST_DIR"/test/externalTests/solc-js
 
     # set up solc-js on the branch specified
-    setup "$SOLJSON" master
+    setup "$SOLJSON" smt_proper_tests
 
     printLog "Updating index.js file..."
     echo "require('./determinism.js');" >> test/index.js