From abfcb8692833f8f65ddd7894eed357862f490b75 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Tue, 10 Sep 2024 10:24:43 -0700 Subject: [PATCH] Emphasis --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index ad4057af8..3d3fbf350 100644 --- a/README.md +++ b/README.md @@ -77,7 +77,7 @@ and/or non-reproducible bugs. Defects4J uses the JDK-8 compatible locale service provider to ensure reproducibility of bugs. -If you are using the bugs outside of the Defects4J framework, [set the +If you are using the bugs _outside_ of the Defects4J framework, [set the JVM's locale service provider to COMPAT](https://docs.oracle.com/en%2Fjava%2Fjavase%2F11%2Fdocs%2Fapi%2F%2F/java.base/java/util/spi/LocaleServiceProvider.html) Specifically, use `java -Djava.locale.providers=COMPAT` to ensure @@ -86,7 +86,7 @@ reproducibility. Not setting this option results in unexpected failing tests! #### Timezone Defects4J generates and executes tests in the timezone `America/Los_Angeles`. -If you are using the bugs outside of the Defects4J framework, set the `TZ` +If you are using the bugs _outside_ of the Defects4J framework, set the `TZ` environment variable to `America/Los_Angeles` and export it. Setting up Defects4J