Module antithesis_sdk::prelude

Convenience to import all macros and functions

Re-exports

• pub use crate::assert::assert_raw;
• pub use crate::assert::AssertType;
• pub use crate::antithesis_init;
• pub use crate::lifecycle;
• pub use crate::random;

Macros

• assert_always
  Assert that condition is true every time this function is called, and that it is called at least once. The corresponding test property will be viewable in the Antithesis SDK: Always group of your triage report.
• assert_always_greater_than
  assert_always_greater_than(x, y, ...) is mostly equivalent to assert_always!(x > y, ...), except Antithesis has more visibility to the value of x and y, and the assertion details would be merged with {"left": x, "right": y}.
• assert_always_greater_than_or_equal_to
  assert_always_greater_than_or_equal_to(x, y, ...) is mostly equivalent to assert_always!(x >= y, ...), except Antithesis has more visibility to the value of x and y, and the assertion details would be merged with {"left": x, "right": y}.
• assert_always_less_than
  assert_always_less_than(x, y, ...) is mostly equivalent to assert_always!(x < y, ...), except Antithesis has more visibility to the value of x and y, and the assertion details would be merged with {"left": x, "right": y}.
• assert_always_less_than_or_equal_to
  assert_always_less_than_or_equal_to(x, y, ...) is mostly equivalent to assert_always!(x <= y, ...), except Antithesis has more visibility to the value of x and y, and the assertion details would be merged with {"left": x, "right": y}.
• assert_always_or_unreachable
  Assert that condition is true every time this function is called. The corresponding test property will pass even if the assertion is never encountered. This test property will be viewable in the Antithesis SDK: Always group of your triage report.
• assert_always_some
  assert_always_some({a: x, b: y, ...}) is similar to assert_always(x || y || ...), except:
• assert_reachable
  Assert that a line of code is reached at least once. The corresponding test property will pass if this macro is ever called. (If it is never called the test property will therefore fail.) This test property will be viewable in the Antithesis SDK: Reachablity assertions group.
• assert_sometimes
  Assert that condition is true at least one time that this function was called. (If the assertion is never encountered, the test property will therefore fail.) This test property will be viewable in the Antithesis SDK: Sometimes group.
• assert_sometimes_all
  assert_sometimes_all({a: x, b: y, ...}) is similar to assert_sometimes(x && y && ...), except:
• assert_sometimes_greater_than
  assert_sometimes_greater_than(x, y, ...) is mostly equivalent to assert_sometimes!(x > y, ...), except Antithesis has more visibility to the value of x and y, and the assertion details would be merged with {"left": x, "right": y}.
• assert_sometimes_greater_than_or_equal_to
  assert_sometimes_greater_than_or_equal_to(x, y, ...) is mostly equivalent to assert_sometimes!(x >= y, ...), except Antithesis has more visibility to the value of x and y, and the assertion details would be merged with {"left": x, "right": y}.
• assert_sometimes_less_than
  assert_sometimes_less_than(x, y, ...) is mostly equivalent to assert_sometimes!(x < y, ...), except Antithesis has more visibility to the value of x and y, and the assertion details would be merged with {"left": x, "right": y}.
• assert_sometimes_less_than_or_equal_to
  assert_sometimes_less_than_or_equal_to(x, y, ...) is mostly equivalent to assert_sometimes!(x <= y, ...), except Antithesis has more visibility to the value of x and y, and the assertion details would be merged with {"left": x, "right": y}.
• assert_unreachable
  Assert that a line of code is never reached. The corresponding test property will fail if this macro is ever called. (If it is never called the test property will therefore pass.) This test property will be viewable in the Antithesis SDK: Reachablity assertions group.