-
- Downloads
[Feature] Execute periodic liveness on *partial* graph when the size of
any disk graph has increased by 10%. It used to check liveness every distinct 640K states which isn't up to date with modern hardware any longer.
Showing
- tlatools/src/tlc2/TLCGlobals.java 6 additions, 0 deletionstlatools/src/tlc2/TLCGlobals.java
- tlatools/src/tlc2/tool/AbstractChecker.java 0 additions, 14 deletionstlatools/src/tlc2/tool/AbstractChecker.java
- tlatools/src/tlc2/tool/DFIDModelChecker.java 2 additions, 6 deletionstlatools/src/tlc2/tool/DFIDModelChecker.java
- tlatools/src/tlc2/tool/ModelChecker.java 2 additions, 6 deletionstlatools/src/tlc2/tool/ModelChecker.java
- tlatools/src/tlc2/tool/liveness/AbstractDiskGraph.java 11 additions, 3 deletionstlatools/src/tlc2/tool/liveness/AbstractDiskGraph.java
- tlatools/src/tlc2/tool/liveness/ILiveCheck.java 9 additions, 2 deletionstlatools/src/tlc2/tool/liveness/ILiveCheck.java
- tlatools/src/tlc2/tool/liveness/LiveCheck.java 42 additions, 7 deletionstlatools/src/tlc2/tool/liveness/LiveCheck.java
- tlatools/src/tlc2/tool/liveness/LiveCheck1.java 2 additions, 2 deletionstlatools/src/tlc2/tool/liveness/LiveCheck1.java
- tlatools/src/tlc2/tool/liveness/LiveWorker.java 4 additions, 0 deletionstlatools/src/tlc2/tool/liveness/LiveWorker.java
- tlatools/src/tlc2/tool/liveness/NoOpLiveCheck.java 2 additions, 2 deletionstlatools/src/tlc2/tool/liveness/NoOpLiveCheck.java
- tlatools/test-long/tlc2/tool/liveness/MultiThreadedSpecTest.java 4 additions, 4 deletions...s/test-long/tlc2/tool/liveness/MultiThreadedSpecTest.java
Loading
Please register or sign in to comment