Tony Robalik autonomousapps
autonomousapps
/ dekker's algorithm
Created
September 29, 2019 19:48
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ------------------------------- MODULE dekker ------------------------------- | |
| EXTENDS TLC, Integers | |
| CONSTANT Threads | |
| (*--algorithm dekker | |
| variables | |
| flag = [t \in Threads |-> FALSE], | |
| next_thread \in Threads; |
autonomousapps
/ gist:4142bbb5af18c5515273b28adc6e3516
Created
May 26, 2017 22:07
Android test failure
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| There were 4 failures: | |
| 1) net.bytebuddy.agent.builder.ResettableClassFileTransformer | |
| java.lang.ClassNotFoundException: net.bytebuddy.agent.builder.ResettableClassFileTransformer | |
| at java.lang.Class.classForName(Native Method) | |
| at java.lang.Class.forName(Class.java:324) | |
| at android.support.test.internal.runner.TestLoader.doLoadClass(TestLoader.java:92) | |
| at android.support.test.internal.runner.TestLoader.loadIfTest(TestLoader.java:113) | |
| at android.support.test.internal.runner.TestRequestBuilder.loadClassesFromClassPath(TestRequestBuilder.java:801) | |
| at android.support.test.internal.runner.TestRequestBuilder.build(TestRequestBuilder.java:747) | |
| at android.support.test.runner.AndroidJUnitRunner.buildRequest(AndroidJUnitRunner.java:354) |
NewerOlder