subprocess.CalledProcessError: Command 'echo "& G F base1 & G F base2 & G F base3 G ! obstacle" | /home/figo/P_MDP_TG/MDP_TG/ltl2dstar --ltl2nba=spin:/home/figo/P_MDP_TG/MDP_TG/ltl2ba --stutter=no - -' returned non-zero exit status 126.

[SJTUGuofei]

-------Motion MDP Initialized------- -------Motion MDP Constructed------- 100 states and 816 edges Unify MDP Done MDP done, time: 0.0062754154205322266 /home/figo/P_MDP_TG/MDP_TG/ltl2dstar /bin/sh: 1: /home/figo/P_MDP_TG/MDP_TG/ltl2dstar: Exec format error Traceback (most recent call last): File "/home/figo/P_MDP_TG/case_study.py", line 162, in dra = Dra(all_base) File "/home/figo/P_MDP_TG/MDP_TG/dra.py", line 20, in init ltl2dra_output = run_ltl2dra(formula) File "/home/figo/P_MDP_TG/MDP_TG/ltl2dra.py", line 27, in run_ltl2dra raw_output = check_output(cmd, shell=True) File "/home/figo/anaconda3/lib/python3.9/subprocess.py", line 424, in check_output return run(*popenargs, stdout=PIPE, timeout=timeout, check=True, File "/home/figo/anaconda3/lib/python3.9/subprocess.py", line 528, in run raise CalledProcessError(retcode, process.args, subprocess.CalledProcessError: Command 'echo "& G F base1 & G F base2 & G F base3 G ! obstacle" | /home/figo/P_MDP_TG/MDP_TG/ltl2dstar --ltl2nba=spin:/home/figo/P_MDP_TG/MDP_TG/ltl2ba --stutter=no - -' returned non-zero exit status 126.

Hi, prof. guo, how can i deal with this issue? Thank you so much!