Skip to content
Verify TLA+ specs (verisimdb)

proof(verisimdb): harden V10 scenario to actually exercise concurrency #2

Sign in to view logs

proof(verisimdb): harden V10 scenario to actually exercise concurrency

proof(verisimdb): harden V10 scenario to actually exercise concurrency #2

Run time

Learn about OS pricing on GitHub Actions
Job Run time
TLC model-check
20s
20s