How could I output states to specified dir?

[for-just-we]

Hi, author, I use following code to analyse wasm sample

from time import time
import threading
import subprocess
from random import randint
from datetime import datetime

from manticore.wasm import ManticoreWASM


def getchar(state):
    """Symbolic `getchar` implementation."""
    res = state.new_symbolic_value(
        32, f"getchar_res_{randint(0, 255)}")
    return [res]


def run(path):
    start_time = time()
    m = ManticoreWASM(path, env={"getchar": getchar})
    # Run the main function, which will call getchar
    m.main()
    # Save a copy of the inputs to the disk
    m.finalize()
    end_time = time()
    spent_time = end_time - start_time
    print(f"spent time: {spent_time // 3600} hours - {(spent_time % 3600) // 60} minutes"
          f" - {spent_time % 3600 % 60} seconds")
    return spent_time


if __name__ == '__main__':
    path = "xxx.wasm"
    # Pass our symbolic implementation of the `getchar` function into the WASM environment
    # as an import.
    run(path)

And it output some files to same dir with the python script, the dir is like

mcore_vy7sk7a9
-- .state_id
-- .testcase_id
-- command.sh
xxxx
-- testcase_00000.input
xxxx
-- testcase_00000.status

How could I put the dir mscore_vy7sk7a9 to a given dir path, and could I assign a name for the output dir?

[ekilmer]

Try setting workspace_url like so:

m = ManticoreWASM(path, env={"getchar": getchar}, workspace_url="/my/path/manticore_working_dir")