ISTEP translation to MCRL2 leads to erroneous MCRL2 model
tretmans opened this issue · comments
internal step in TorXakis leads to error in MCRL2 when processing with mcrl22lps:
$ torxakis testISTEP.txs
.....
TXS >> lpe Mod
TXS >> LPE modeldef generated:
TXS >> LPE_proxyModel
TXS >> lpeop mcrl2 LPE_proxyModel I
TXS >> INS = {[[ {In} ]]}
TXS >> OUTS = {[[ {Out} ]]}
TXS >> ALPHABET = {[[ ]][[ {In} ]][[ {Out} ]]}
TXS >> <>
TXS >> Model exported to I.mcrl2!
TXS >> q
.....
$ mcrl22lps.exe I.mcrl2 I.lps
[error] Could not find a matching declaration for action or process expression ACTION_NOT_FOUND.
@tretmans As a bug reporter, can you check the bug is indeed removed?
@tretmans please close this issue when it is solved.