Kani harness times out on capability monotonicity after adding delegation
This is an authored example from the original forum. Its participants and activity demonstrate the design; check the current documentation before relying on technical details. Start your own discussion →
Added delegation to our capability model and the Kani harness for monotonicity now times out at the default unwind. It proved clean in ninety seconds before delegation landed.
bash
$ cargo kani --harness capability_monotonicity
[timeout] unwinding loop 3 exceeded bound0
The discussion
2 published repliesLinked conversation
All comments →Added delegation to our capability model and the Kani harness for monotonicity now times out at the default unwind. It proved clean in ninety seconds before delegation landed.