diff --git a/README.adoc b/README.adoc index 19d8276..8baeee6 100644 --- a/README.adoc +++ b/README.adoc @@ -12054,6 +12054,10 @@ The exact same can be achieved with the older hardcoded `--maxinsts` mechanism p ; .... +Other related fs.py options are: + +* `--abs-max-tick`: set the maximum number of ticks rather than instructions + The message also shows on <> deadlocks, for example in link:userland/posix/pthread_deadlock.c[]: ....