Outputtting uuid in tlcore

tlcore --uuid
%%
x=5;;
%%
x;;
4557f67592cb498fa684d50f5511a65
intmp<5>

This is neat, here are a few comments.

1. The output from the equations section should be separated from the output from the expressions section with a %%.

2. The uuid “4557f67592cb498fa684d50f5511a65” should read “uuid<4557f67592cb498fa684d50f5511a65>“.

3. The output from the equations section is not taking into account the –verbose option.

4. In –verbose mode, we should output equations, demands and expressions as eqn<…>, dem<…> and expr<…>, respectively.

5. Should there be ;; at the end of each line of output?

6. Should there be a separator between the input and output? As in a line ?

Advertisement