ltsconvert cannot transform/parse probabilistic .aut files

[jgroote]

Consider:

des(0, 2, 2)
(0,"a(0)",0 1/2 1)
(1,"a(0)",1 1/2 0)

Apply

ltsconvert prob.aut prob.fsm

The response is:

[error]   Expect a closing bracket at the end of the transition at line 2.

Oddly enough ltsinfo does work correctly on this file, and seems to be able to parse it.

[Valo13]

It also does not work for LTS's. When doing ltsconvert test.lts test.aut after creating test.lts from

act a;

proc P = a.dist b:Bool[1/2].(b -> P <> Q);
     Q = a.dist b:Bool[1/2].(b -> Q <> P);

init P;

the usual way, it says

[error]   Attempting to read a probabilistic LTS as a regular LTS.
[error]   Fail to correctly read an lts from the file test.lts.

[jgroote]

The above mentioned commit should resolve this problem as well as it can be done now.