eqc_ex v1.2.0

README - Overview

• EQC EQC
• • always/2 EQC
  • collect/1 EQC
  • feature/2 EQC
  • forall/2 EQC
  • implies/2 EQC
  • lazy/1 EQC
  • let/2 EQC
  • let_shrink/2 EQC
  • once_only/1 EQC
  • setup/2 EQC
  • setup_teardown/2 EQC
  • shrink/2 EQC
  • sized/2 EQC
  • sometimes/2 EQC
  • such_that/2 EQC
  • such_that_maybe/2 EQC
  • timeout/2 EQC
  • trap_exit/1 EQC
  • when_fail/2 EQC
• EQC.Component EQC.Component
• • pretty_commands/4 EQC.Component
  • run_commands/2 EQC.Component
  • run_commands/3 EQC.Component
  • weight/2 EQC.Component
• EQC.Component.Callouts EQC.Component.Callouts
• • __SELF__/0 EQC.Component.Callouts
  • __VAR__/0 EQC.Component.Callouts
  • assert/1 EQC.Component.Callouts
  • assert/3 EQC.Component.Callouts
  • block/0 EQC.Component.Callouts
  • block/1 EQC.Component.Callouts
  • call/1 EQC.Component.Callouts
  • call/2 EQC.Component.Callouts
  • call/3 EQC.Component.Callouts
  • callout/2 EQC.Component.Callouts
  • callout/4 EQC.Component.Callouts
  • callouts/1 EQC.Component.Callouts
  • either/2 EQC.Component.Callouts
  • either/3 EQC.Component.Callouts
  • exception/1 EQC.Component.Callouts
  • fail/1 EQC.Component.Callouts
  • guard/2 EQC.Component.Callouts
  • match/1 EQC.Component.Callouts
  • optional/1 EQC.Component.Callouts
  • par/1 EQC.Component.Callouts
  • ret/1 EQC.Component.Callouts
  • send/2 EQC.Component.Callouts
  • seq/1 EQC.Component.Callouts
  • unblock/2 EQC.Component.Callouts
• EQC.ExUnit EQC.ExUnit
• • check/3 EQC.ExUnit
  • property/1 EQC.ExUnit
  • property/2 EQC.ExUnit
  • test_suite/2 EQC.ExUnit
• EQC.Mocking EQC.Mocking
• • api_fun/1 EQC.Mocking
  • api_fun/2 EQC.Mocking
  • api_module/1 EQC.Mocking
  • api_module/2 EQC.Mocking
  • api_spec/1 EQC.Mocking
  • api_spec/2 EQC.Mocking
• EQC.Pulse EQC.Pulse
• • instrument/0 EQC.Pulse
  • no_side_effect/1 EQC.Pulse
  • replace_module/2 EQC.Pulse
  • side_effect/1 EQC.Pulse
  • skip_function/1 EQC.Pulse
  • with_pulse/1 EQC.Pulse
• EQC.StateM EQC.StateM
• • check_commands/3 EQC.StateM
  • check_commands/4 EQC.StateM
  • pretty_commands/4 EQC.StateM
  • run_commands/2 EQC.StateM
  • run_commands/3 EQC.StateM
  • run_parallel_commands/2 EQC.StateM
  • run_parallel_commands/3 EQC.StateM
  • weight/2 EQC.StateM