Commits on Jun 19, 2023

1. all: Rework Opt value handling …

   This is a complete rewrite of the logic underlying `Opt`, with the
   following notable changes:
   * All options are now evaluated lazily, with safeguards ensuring that
     there can be no attempts to modify their defaults after they have been
     read once. This reduces the risk of accidentally locking in `Opt`
     and then reading stale values due to its previous reliance on static
     initializers.
   * There are now clear precedence rules for all options and every option
     can be set from all possible sources: manifest entries, env variables,
     system properties, configuration parameters, command-line arguments.
   
   In follow-up PRs, the new capabilities of `OptItem` (e.g. accumulating
   settings and JUnit configuration parameters as sources) will be used in
   Jazzer.
   
   Co-authored-by: Brian Lewis <brian.lewis@code-intelligence.com>

   

   2 people authored and bertschneider committed Jun 19, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 1700688
   • Browse repository at this point

   Copy the full SHA

   1700688 View commit details

   Browse the repository at this point in the history

2. Fix typo in docs

   

   br-lewis authored Jun 19, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 3a8d7cd
   • Browse repository at this point

   Copy the full SHA

   3a8d7cd View commit details

   Browse the repository at this point in the history

3. Give bool items a type string

   

   br-lewis committed Jun 19, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 0888d6e
   • Browse repository at this point

   Copy the full SHA

   0888d6e View commit details

   Browse the repository at this point in the history