search

CinRC / IRDC-CCSK

Java implementation of distributed reversible computation verification
https://spots.augusta.edu/caubert/cinrc/
GNU General Public License v3.0
4 stars 2 forks source link

Interplay between regenerate and interactive #77

Open aubertc opened 1 year ago

aubertc commented 1 year ago

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

  1. Embrace that behavior, but document it,
  2. Try to make them play nicely together.

Also, the bug https://github.com/CinRC/IRDC-CCSK/issues/76 is present here too.