parallelise test execution (#1775)

* parallelise test execution

* Rename tests

* Fix tests

.circleci/config.yml

@@ -12,6 +12,7 @@ jobs:
   # Basic testing of a new commit to any branch.
   test:
     <<: *defaults
+    parallelism: 4
     steps:
       - checkout:
           path: /home/mythril
@@ -50,7 +51,9 @@ jobs:
 
       - run:
           name: Unit-testing
-          command: tox
+          command: |
+            TESTFILES=$(circleci tests glob tests/**/*test.py | circleci tests split --split-by=timings)
+            tox -- $TESTFILES
           working_directory: /home/mythril
           no_output_timeout: 10m
           environment:

Dockerfile

@@ -123,9 +123,9 @@ print("\n".join(str(v) for v in solcx.get_installed_solc_versions()))
 # Check myth can run
 myth version
 myth function-to-hash 'function transfer(address _to, uint256 _value) public returns (bool success)'
-myth analyze /solidity_examples/timelock.sol > timelock.log || true
+myth analyze /solidity_examples/origin.sol -t 1 > origin.log || true
-grep 'SWC ID: 116' timelock.log || {
+grep 'SWC ID: 115' origin.log || {
-  error "Failed to detect SWC ID: 116 in timelock.sol";
+  error "Failed to detect SWC ID: 115 in origin.sol";
   exit 1
 }
 

tests/disassembler/disassembly_test.py

@@ -41,7 +41,7 @@ def test_get_function_info_multiple_names(mocker):
     )
 
     # Assert
-    assert function_name == "**ambiguous** function_name"
+    assert function_name == "function_name or another_name"
 
 
 def test_get_function_info_no_names(mocker):

tests/instructions/create2_test.py

@@ -4,6 +4,7 @@ from mythril.laser.ethereum.state.environment import Environment
 from mythril.laser.ethereum.state.machine_state import MachineState
 from mythril.laser.ethereum.state.global_state import GlobalState
 from mythril.laser.ethereum.state.world_state import WorldState
+from mythril.laser.ethereum.time_handler import time_handler
 from mythril.laser.ethereum.instructions import Instruction
 from mythril.laser.ethereum.transaction.transaction_models import (
     MessageCallTransaction,
@@ -57,6 +58,7 @@ def test_create2():
     ]
     og_state.mstate.memory.extend(100)
     og_state.mstate.memory[0:6] = [96] * 6
+    time_handler.start_execution(10)
     instruction = Instruction("create2", dynamic_loader=None)
     # Act + Assert
     with pytest.raises(TransactionStartSignal) as t:

tests/laser/transaction_test.py

@@ -2,6 +2,7 @@ from mythril.disassembler.disassembly import Disassembly
 from mythril.laser.ethereum import svm
 from mythril.laser.ethereum.state.account import Account
 from mythril.laser.ethereum.state.world_state import WorldState
+from mythril.support.support_args import args
 
 import mythril.laser.ethereum.cfg as cfg
 
@@ -24,7 +25,7 @@ def test_intercontract_call():
     callee_account = Account(callee_address, callee_code, contract_name="Callee")
     world_state.put_account(callee_account)
     world_state.put_account(caller_account)
-
+    args.pruning_factor = 1
     laser = svm.LaserEVM()
 
     # Act