From 4e607d29705ff4ae6e095623451143d34a460806 Mon Sep 17 00:00:00 2001 From: Ao Li Date: Thu, 15 Aug 2024 12:31:51 -0400 Subject: [PATCH] upgrade fray. --- README.md | 5 +++-- build.gradle.kts | 2 +- .../src/main/kotlin/org/pastalab/fray/jdk/JDKInstrumenter.kt | 1 - 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 10b3e8e..2f7e72b 100644 --- a/README.md +++ b/README.md @@ -283,7 +283,7 @@ Error found, you may find the error report in XXX To replay a schedule, you may run the following command: ```bash -fray --replay /tmp/report/schedule_0.json -cp ./out/ example.FrayExample +fray --replay PATH_TO_THE_RECORDING_FOLDER -cp ./out/ example.FrayExample ``` @@ -386,6 +386,7 @@ echo '{ To replay that schedule, you may run the following command: ```bash -./gradlew runFray -PconfigPath="out/config.json" -PextraArgs="--iter=1000 --logger=json --scheduler=replay --path=/tmp/fray-example/schedule_XXX.json" +./gradlew runFray -PconfigPath="out/config.json" -PextraArgs="--iter=1000 --logger=json --scheduler=replay +--path=PATH_TO_THE_RECORDING_FOLDER" ``` diff --git a/build.gradle.kts b/build.gradle.kts index 22f0f06..cf271ce 100644 --- a/build.gradle.kts +++ b/build.gradle.kts @@ -14,7 +14,7 @@ plugins { allprojects { group = "org.pastalab.fray" - version = "0.1.2" + version = "0.1.3" } repositories { diff --git a/instrumentation/jdk/src/main/kotlin/org/pastalab/fray/jdk/JDKInstrumenter.kt b/instrumentation/jdk/src/main/kotlin/org/pastalab/fray/jdk/JDKInstrumenter.kt index 42d5193..fde7c86 100644 --- a/instrumentation/jdk/src/main/kotlin/org/pastalab/fray/jdk/JDKInstrumenter.kt +++ b/instrumentation/jdk/src/main/kotlin/org/pastalab/fray/jdk/JDKInstrumenter.kt @@ -37,7 +37,6 @@ fun instrumentClass(path: String, inputStream: InputStream): ByteArray { cv = ObjectNotifyInstrumenter(cv) cv = UnsafeInstrumenter(cv) cv = SkipMethodInstrumenter(cv) - // cv = PrintStreamInstrumenter(cv) cv = ObjectInstrumenter(cv) cv = SemaphoreInstrumenter(cv) cv = CountDownLatchInstrumenter(cv)