chore: update tests

README.md

@@ -25,7 +25,7 @@ If you need to visualize the graph (`--visualize`), make sure you have installed
 To verify everything is set up correctly, run the following command:
 
 ```shell
-pytest test.py
+pytest test.py -m basic
 ```
 
 This command traverses the `./test` folder and performs symbolic execution on all Wasm binaries.

pytest.ini

@@ -0,0 +1,3 @@
+[pytest]
+markers =
+    basic: basic test

test.py

@@ -19,13 +19,15 @@
     ('password.wasm', '')
 ])
 
+@pytest.mark.basic
 def test_wasm_can_be_analyzed(wasm_path, entry):
     wasm_path = os.path.join(testcase_dir, wasm_path)
     cmd = [sys.executable, 'launcher.py', '-f', wasm_path, '-s', '-v', 'info']
     if entry != "":
         cmd.extend(['--entry', entry])
     subprocess.run(cmd, timeout=900, check=True)
 
+@pytest.mark.basic
 def test_return_simulation():
     wasm_path = './test/test_return.wasm'
     cmd = [sys.executable, 'launcher.py', '-f', wasm_path, '-s', '-v', 'info', '--source_type', 'rust']
@@ -41,6 +43,7 @@ def test_return_simulation():
         state = json.load(f)
     assert state['Solution']['proc_exit'] == "\u0000", f'exit code should be 0, got {state["Solution"]["proc_exit"]}'
 
+@pytest.mark.basic
 def test_unreachable_simulation():
     wasm_path = './test/test_unreachable.wasm'
     cmd = [sys.executable, 'launcher.py', '-f', wasm_path, '-s', '-v', 'info', '--source_type', 'rust']