Dear Guillaume,
To the best of my knowledge, Tamarin does not present that
information on the CLI at the moment. As one cannot look at the
problem anyway, this was deemed to not be useful information.
However, I see that the presence/absence of partial
deconstructions could be helpful to decide whether a proof attempt
makes sense, or a look into the partial deconstructions is needed.
Thus, adding this information to the output would be a sensible
feature request and/or directly a Pull Request with the change, if
you are interested.
Cheers,
Ralf
--
You received this message because you are subscribed to the Google Groups "tamarin-prover" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tamarin-prove...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tamarin-prover/39212947-3a38-41a8-85a2-69ef6498ef11n%40googlegroups.com.
8 Aug 2024 14:50:21 Ralf Sasse <ralf....@inf.ethz.ch>:
To view this discussion on the web visit https://groups.google.com/d/msgid/tamarin-prover/9ca8650b-820a-4968-b0c4-3e0e94782619%40inf.ethz.ch.
Dear Reynaldo,
That would of course be great! Guillaume, maybe you can use the
version of Reynaldo in the meantime.
Cheers,
Ralf
To view this discussion on the web visit https://groups.google.com/d/msgid/tamarin-prover/eda9914d-8674-4517-9aaf-a11f8650830f%40gmail.com.