12 Jul
2016
12 Jul
'16
4:18 p.m.
Hello
I want to use ltl2dstar.exe for a project, but I have a problem with
v.0.5.3. when I run it with cmd it returns an error...
Exception in file common/RunProgram.win32.cpp at line 85:
CreateProcess failed...
I would be appreciate if you tell me how should I fix it.
Best,
Armin