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
13 Jul
13 Jul
5:02 p.m.
Hi Armin,
On Tue, Jul 12, 2016 at 4:18 PM, armin mojoodi <arminmojoodi(a)gmail.com> wrote:
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...
You did not show the command you executed to obtain this error, but if
I were to guess, you haven't installed ltl2ba or configured ltl2dstar
to use any other translator listed at
http://ltl2dstar.de/docs/ltl2dstar.html#ltl-to-nba
If that does not help, please contact Joachim Klein (ltl2dstar's
author) directly with more details: while Spot and ltl2dstar can
interact in many ways, we do not maintain ltl2dstar, and are not
familiar with its source code.
Best regards,
--
Alexandre Duret-Lutz
3129
days inactive
3130
days old
1 comments
2 participants
participants (2)
-
Alexandre Duret-Lutz -
armin mojoodi