[Server] Remove test binaries

server/justfile

@@ -20,8 +20,6 @@ build: generate
   mkdir -p dist
   py_ver=$(python3 -c 'import sys; print(f"{sys.version_info.major}.{sys.version_info.minor}")')
   python3 -m shiv -c manticore_server -o dist/manticore_server --reproducible --no-modify --python "/usr/bin/env python${py_ver}" --compressed .
-  wget https://github.com/ethereum/solc-bin/raw/gh-pages/linux-amd64/solc-linux-amd64-v0.8.9%2Bcommit.e5eed63a -O dist/solc
-  chmod 775 dist/solc
 
 test:
   python3 -m unittest tests/test_*.py

server/tests/test_ethereum.py

@@ -22,7 +22,7 @@ class ManticoreServerEVMTest(unittest.TestCase):
         self.contract_path = str(self.dirname / Path("contracts") / Path("adder.sol"))
         self.test_event = threading.Event()
         self.servicer = manticore_server.ManticoreServicer(self.test_event)
-        self.solc_path = str(self.dirname / Path("solc"))
+        self.solc_path = which("solc")
         self.context = MockContext()
 
     def tearDown(self):
@@ -72,7 +72,7 @@ class ManticoreServerEVMTest(unittest.TestCase):
                 [dir for dir in cur_paths if dir != solc_dir]
             )
 
-        with unittest.mock.patch.dict(os.environ, {"PATH": path_to_use}):
+        with unittest.mock.patch.dict(os.environ, {"PATH": ""}):
             mcore_instance = self.servicer.StartEVM(
                 EVMArguments(contract_path=self.contract_path),
                 self.context,

server/tests/test_native.py

@@ -16,10 +16,16 @@ from tests.mock_classes import MockContext
 
 class ManticoreServerCoreNativeTest(unittest.TestCase):
     def setUp(self):
-        self.dirname = str(Path(getframeinfo(currentframe()).filename).resolve().parent)
+        this_dir = Path(getframeinfo(currentframe()).filename).resolve().parent
+        self.dirname = str(this_dir)
         self.binary_path = str(
-            self.dirname / Path("binaries") / Path("arguments_linux_amd64")
+            this_dir.parent.parent
+            / "tests"
+            / "native"
+            / "binaries"
+            / "arguments_linux_amd64"
         )
+        print(self.binary_path)
         self.test_event = threading.Event()
         self.servicer = manticore_server.ManticoreServicer(self.test_event)
         self.context = MockContext()