transaction-fuzzer: add address-balance and gasless fuzz tests

Author: alex-mysten

Cargo.lock

@@ -146,6 +146,7 @@ pub trait ConciseableName<'a> {
 
 #[serde_as]
 #[derive(Eq, PartialEq, Clone, Copy, PartialOrd, Ord, Hash, Serialize, Deserialize, JsonSchema)]
+#[cfg_attr(feature = "fuzzing", derive(proptest_derive::Arbitrary))]
 pub struct ObjectID(
     #[schemars(with = "Hex")]
     #[serde_as(as = "Readable<HexAccountAddress, _>")]

crates/sui-types/src/base_types.rs

@@ -21,6 +21,7 @@ use tracing::info;
 #[derive(
     Clone, Copy, Default, PartialEq, Eq, PartialOrd, Ord, Hash, Serialize, Deserialize, JsonSchema,
 )]
+#[cfg_attr(feature = "fuzzing", derive(proptest_derive::Arbitrary))]
 pub struct Digest(
     #[schemars(with = "Base58")]
     #[serde_as(as = "Readable<Base58, Bytes>")]
@@ -159,6 +160,7 @@ impl fmt::UpperHex for Digest {
     Deserialize,
     JsonSchema,
 )]
+#[cfg_attr(feature = "fuzzing", derive(proptest_derive::Arbitrary))]
 pub struct ChainIdentifier(CheckpointDigest);
 
 pub const MAINNET_CHAIN_IDENTIFIER_BASE58: &str = "4btiuiMPvEENsttpZC7CZ53DruC3MAgfznDbASZ7DR6S";
@@ -279,6 +281,7 @@ impl From<CheckpointDigest> for ChainIdentifier {
 #[derive(
     Clone, Copy, Default, PartialEq, Eq, PartialOrd, Ord, Hash, Serialize, Deserialize, JsonSchema,
 )]
+#[cfg_attr(feature = "fuzzing", derive(proptest_derive::Arbitrary))]
 pub struct CheckpointDigest(Digest);
 
 impl CheckpointDigest {
@@ -873,6 +876,7 @@ impl std::str::FromStr for EffectsAuxDataDigest {
 
 // Each object has a unique digest
 #[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash, Serialize, Deserialize, JsonSchema)]
+#[cfg_attr(feature = "fuzzing", derive(proptest_derive::Arbitrary))]
 pub struct ObjectDigest(Digest);
 
 impl ObjectDigest {

crates/sui-types/src/digests.rs

@@ -139,6 +139,7 @@ impl CallArg {
 }
 
 #[derive(Debug, PartialEq, Eq, Hash, Clone, Copy, Serialize, Deserialize)]
+#[cfg_attr(feature = "fuzzing", derive(proptest_derive::Arbitrary))]
 pub enum ObjectArg {
     // A Move object from fastpath.
     ImmOrOwnedObject(ObjectRef),
@@ -1177,6 +1178,7 @@ pub enum Command {
 
 /// An argument to a programmable transaction command
 #[derive(Debug, PartialEq, Eq, Hash, Clone, Copy, Serialize, Deserialize)]
+#[cfg_attr(feature = "fuzzing", derive(proptest_derive::Arbitrary))]
 pub enum Argument {
     /// The gas coin. The gas coin can only be used by-ref, except for with
     /// `TransferObjects`, which can use it by-value.
@@ -4584,6 +4586,7 @@ pub enum InputObjectKind {
 }
 
 #[derive(Clone, Copy, Debug, Eq, PartialEq, Serialize, Deserialize, PartialOrd, Ord, Hash)]
+#[cfg_attr(feature = "fuzzing", derive(proptest_derive::Arbitrary))]
 pub enum SharedObjectMutability {
     // The "classic" mutable/immutable modes.
     Immutable,

crates/sui-types/src/transaction.rs

@@ -22,9 +22,16 @@ tracing.workspace = true
 once_cell.workspace = true
 sui-core.workspace = true
 sui-protocol-config.workspace = true
-sui-types = { workspace = true, features = ["fuzzing"] }
+sui-types = { workspace = true, features = ["fuzzing", "testing"] }
 sui-move-build.workspace = true
 
 
 [dev-dependencies]
+prometheus.workspace = true
+shared-crypto.workspace = true
+sui-keys.workspace = true
+sui-macros.workspace = true
 sui-protocol-config.workspace = true
+sui-simulator.workspace = true
+test-cluster.workspace = true
+sui-test-transaction-builder.workspace = true