You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I would expect the program to allow me to execute forward the "origin" of a process that already started its execution when I combine the --regenerate and --interactive flags.
However, this is not the case:
java -jar IRDC-*.jar --regenerate --interactive "((Tau{a}[k1].b|'b)|Tau{a}[k1].c[k4].0)"
------| Actionable Labels |------
[0] [k2]
[1] [k0]
[2] b
[3] 'b
[4] Tau{b}
[q] Quit program
------------
((Tau{a}[k0].b|'b)|Tau{a}[k0].c[k2].0)
Please input the index of the label you'd like to act on:
It seems that the --regenerate flag was completely ignored.
We can either
I would expect the program to allow me to execute forward the "origin" of a process that already started its execution when I combine the
--regenerate
and--interactive
flags.However, this is not the case:
It seems that the
--regenerate
flag was completely ignored.We can either
Also, the bug #76 is present here too.
The text was updated successfully, but these errors were encountered: