3 ms·
The exact code might not be deterministic but the behavior can be if your spec uses something like Dafny or TLA+ and is detailed enough
by UltraSane 6mo ago
The exact code might not be deterministic but the behavior can be if your spec uses something like Dafny or TLA+ and is detailed enough