Commits on May 17, 2024

1. Introduce fuzz testing to separate unit tests from repetition tests …

   Prior to changes introduced here the majority of time during testing was
   spent on repeating the same test while changing the seed for generators
   or latency models.
   
   Instead of repeating the same test over and over use the fuzz testing
   mechanism provided by Go SDK. This change allows the unit tests to run
   much faster while offering a configurable "fuzztime" that dictates for
   how long the test cases should be fuzzed.
   
   The changes here introduce the following fuzz tests:
   * `FuzzAbsentAdversary`
   * `FuzzImmediateDecideAdversary`
   * `FuzzHonest_AsyncRequireStrongQuorumToProgress`
   * `FuzzHonest_SyncMajorityCommonPrefix`
   * `FuzzHonest_AsyncMajorityCommonPrefix`
   * `FuzzHonestMultiInstance_AsyncDisagreement`
   * `FuzzHonestMultiInstance_SyncAgreement`
   * `FuzzHonestMultiInstance_AsyncAgreement`
   * `FuzzStoragePower_SyncIncreaseMidSimulation`
   * `FuzzStoragePower_AsyncIncreaseMidSimulation`
   * `FuzzStoragePower_SyncDecreaseRevertsToBase`
   * `FuzzStoragePower_AsyncDecreaseRevertsToBase`
   * `FuzzRepeatAdversary`
   
   The CI workflow is updated to run each of the fuzz tests for 30 seconds
   in a dedicated job.

   

   masih committed May 17, 2024
   Configuration menu

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

   Copy the full SHA

   5d0cad7 View commit details

   Browse the repository at this point in the history