Mentions légales du service

Skip to content

use --trace-sates in its-reach calls

without the option --trace-states, the final states given by its-reach are not restricted to the states reached by the given witness, but instead all reachable final states

--trace-states resolves the issue

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information