🥮 mooncakes.io

    jtenner/starshine/cmd does not have a README file

    CmdEncodeError

    source
    pub suberror CmdEncodeError {
      Encode(
    EncodeError    )
      Adapter(String)
    } derive(Eq, 
    Debug    )

    CmdEncodeError::adapter

    source
    fn CmdEncodeError::adapter(msg : String) -> CmdEncodeError

    CmdEncodeError::encode

    source

    BinaryCanonicalityClassification

    source
    pub enum BinaryCanonicalityClassification {
      CanonicalAccepted
      AcceptedNoncanonical
      MalformedRejected
      ExternalPolicyDisagreement
      DecoderBugDisagreement
    } derive(Eq, 
    Debug    )

    BinaryCanonicalityClassification::accepted_noncanonical

    source

    BinaryCanonicalityClassification::canonical_accepted

    source

    BinaryCanonicalityClassification::decoder_bug_disagreement

    source

    BinaryCanonicalityClassification::external_policy_disagreement

    source

    BinaryCanonicalityClassification::malformed_rejected

    source

    BinaryCanonicalityInputClass

    source
    pub enum BinaryCanonicalityInputClass {
      CanonicalInput
      AcceptedNoncanonicalInput
      MalformedInput
    } derive(Eq, 
    Debug    )

    BinaryCanonicalityInputClass::accepted_noncanonical

    source

    BinaryCanonicalityInputClass::canonical

    source

    BinaryCanonicalityInputClass::malformed

    source

    BinaryCanonicalitySummary

    source
    pub struct BinaryCanonicalitySummary {
      total : Int
      canonical : Int
      accepted_noncanonical : Int
      malformed_rejected : Int
      external_policy_disagreements : Int
      decoder_bug_disagreements : Int
    } derive(Eq, 
    Debug    )

    BinaryDifferentialAdapterResult

    source
    pub struct BinaryDifferentialAdapterResult {
      adapter_name : String
      outcome : BinaryValidationOutcome
      message : String?
    } derive(Eq, 
    Debug    )

    BinaryDifferentialAdapterResult::adapter_unavailable

    source
    fn BinaryDifferentialAdapterResult::adapter_unavailable(adapter_name : String, message : String) -> BinaryDifferentialAdapterResult

    BinaryDifferentialAdapterResult::invalid_decode

    source
    fn BinaryDifferentialAdapterResult::invalid_decode(adapter_name : String, message : String) -> BinaryDifferentialAdapterResult

    BinaryDifferentialAdapterResult::invalid_validate

    source
    fn BinaryDifferentialAdapterResult::invalid_validate(adapter_name : String, message : String) -> BinaryDifferentialAdapterResult

    BinaryDifferentialAdapterResult::tool_failure

    source
    fn BinaryDifferentialAdapterResult::tool_failure(adapter_name : String, message : String) -> BinaryDifferentialAdapterResult

    BinaryDifferentialAdapterResult::unsupported_feature

    source
    fn BinaryDifferentialAdapterResult::unsupported_feature(adapter_name : String, message : String) -> BinaryDifferentialAdapterResult

    BinaryDifferentialAdapterResult::valid

    source

    BinaryDifferentialClassification

    source
    pub enum BinaryDifferentialClassification {
      BinaryAgreeValid
      BinaryAgreeInvalid
      BinaryProposalGap
      BinaryDecoderStageDisagreement
      BinaryValidatorStageDisagreement
      BinaryToolFailureClassification
      BinaryUnsupportedFeatureClassification
      BinaryAdapterUnavailableClassification
    } derive(Eq, 
    Debug    )

    BinaryDifferentialClassification::adapter_unavailable

    source

    BinaryDifferentialClassification::agree_invalid

    source

    BinaryDifferentialClassification::agree_valid

    source

    BinaryDifferentialClassification::decoder_stage_disagreement

    source

    BinaryDifferentialClassification::proposal_gap

    source

    BinaryDifferentialClassification::tool_failure

    source

    BinaryDifferentialClassification::unsupported_feature

    source

    BinaryDifferentialClassification::validator_stage_disagreement

    source

    BinaryDifferentialSmokeAdapter

    source
    pub struct BinaryDifferentialSmokeAdapter {
      adapter_name : String
      run : (Bytes) -> BinaryDifferentialAdapterResult
    }

    BinaryDifferentialSmokeAdapter::new

    source

    BinaryDifferentialSmokeReport

    source
    pub struct BinaryDifferentialSmokeReport {
      suite : String
      cases : Int
      agree_valid : Int
      agree_invalid : Int
      proposal_gap : Int
      decoder_stage_disagreement : Int
      validator_stage_disagreement : Int
      tool_failure : Int
      unsupported_feature : Int
      adapter_unavailable : Int
      external_adapters : Array[String]
    } derive(Eq, 
    Debug    )

    BinaryValidationOutcome

    source
    pub enum BinaryValidationOutcome {
      BinaryValid
      BinaryInvalidDecode
      BinaryInvalidValidate
      BinaryToolFailure
      BinaryUnsupportedFeature
      BinaryAdapterUnavailable
    } derive(Eq, 
    Debug    )

    CmdError

    source
    pub enum CmdError {
      CliParse(
    CliParseError    )
      UnknownPassFlag(String)
      InvalidConfig(String)
      ConfigNotFound(String)
      ConfigReadFailed(String)
      InputReadFailed(String)
      SpecFailed(String)
      TextLoweringFailed(String)
      DecodeFailed(String, 
    DecodeError    )
      OptimizeFailed(String)
      EncodeFailed(String, CmdEncodeError)
      OutputWriteFailed(String)
      AmbiguousOutputFile(String)
      NoInputFiles
    } derive(Eq, 
    Debug    )

    impl Show for CmdError

    CmdError::ambiguous_output_file

    source
    fn CmdError::ambiguous_output_file(path : String) -> CmdError

    CmdError::unknown_pass_flag

    source
    fn CmdError::unknown_pass_flag(flag : String) -> CmdError

    CmdFuzzHarnessProfileConfig

    source
    pub struct CmdFuzzHarnessProfileConfig {
      valid_target : Int
      generator_profile : String
      generator_config : 
    GenValidConfig
      pass_profile : String
      optimize_passes : Array[String]
      check_optimize_idempotence : Bool
      check_encode_decode_idempotence : Bool
      check_optimizer_determinism : Bool
    } derive(Eq, 
    Debug    )

    CmdFuzzStats

    source
    pub struct CmdFuzzStats {
      attempts : Int
      generated_valid : Int
      generated_invalid : Int
      pipeline_validated : Int
      optimized : Int
      roundtripped : Int
      differential_checked : Int
      optimize_idempotence_checked : Int
      encode_decode_idempotence_checked : Int
      optimizer_determinism_checked : Int
      generator_profile : String
      pass_profile : String
    } derive(Eq, 
    Debug    )

    CmdFuzzStats::new

    source
    fn CmdFuzzStats::new(attempts? : Int, generated_valid? : Int, generated_invalid? : Int, pipeline_validated? : Int, optimized? : Int, roundtripped? : Int, differential_checked? : Int, optimize_idempotence_checked? : Int, encode_decode_idempotence_checked? : Int, optimizer_determinism_checked? : Int, generator_profile? : String, pass_profile? : String) -> CmdFuzzStats

    CmdIO

    source
    pub struct CmdIO {
      get_env : (String) -> String?
      file_exists : (String) -> Bool
      read_file : (String) -> Result[Bytes, String]
      encode_module : (
    Module    ) -> Result[Bytes, CmdEncodeError]
      print_text_module : (
    Module    ) -> Result[Bytes, String]
      write_file : (String, Bytes) -> Result[Unit, String]
      write_stdout : (Bytes) -> Result[Unit, String]
      write_stderr : (Bytes) -> Result[Unit, String]
      list_candidates : () -> Array[String]
      lower_text_module : (String, 
    CliInputFormat    , Bytes) -> Result[Bytes, String]
    }

    CmdIO::new

    source
    fn CmdIO::new(get_env? : (String) -> String?, file_exists? : (String) -> Bool, read_file? : (String) -> Result[Bytes, String], encode_module? : (
    Module    ) -> Result[Bytes, CmdEncodeError], print_text_module? : (
    Module    ) -> Result[Bytes, String], write_file? : (String, Bytes) -> Result[Unit, String], write_stdout? : (Bytes) -> Result[Unit, String], write_stderr? : (Bytes) -> Result[Unit, String], list_candidates? : () -> Array[String], lower_text_module? : (String, 
    CliInputFormat    , Bytes) -> Result[Bytes, String]) -> CmdIO

    CmdOptimizerReportMode

    source
    type CmdOptimizerReportMode derive(Eq, 
    Debug    )

    CmdPipelineDumpFormat

    source
    type CmdPipelineDumpFormat

    CmdPipelinePrintSelector

    source
    type CmdPipelinePrintSelector

    CmdPipelineStep

    source
    type CmdPipelineStep

    CmdRunSummary

    source
    pub struct CmdRunSummary {
      input_files : Array[String]
      output_files : Array[String]
      resolved_passes : Array[String]
      optimize_level : Int
      shrink_level : Int
      traps_never_happen : Bool
      ignore_implicit_traps : Bool
      monomorphize_min_benefit : Int
      closed_world : Bool
      low_memory_unused : Bool
      low_memory_bound : UInt64
    } derive(Eq, 
    Debug    )

    CmdRunSummary::new

    source
    fn CmdRunSummary::new(input_files? : Array[String], output_files? : Array[String], resolved_passes? : Array[String], optimize_level? : Int, shrink_level? : Int, traps_never_happen? : Bool, ignore_implicit_traps? : Bool, monomorphize_min_benefit? : Int, closed_world? : Bool, low_memory_unused? : Bool, low_memory_bound? : UInt64) -> CmdRunSummary

    DifferentialAdapters

    source
    pub struct DifferentialAdapters {
      wasm_tools_validate : (Bytes) -> Result[Bool, String]
      binaryen_validate : (Bytes) -> Result[Bool, String]
      per_case_timeout_ms : Int?
    }

    DifferentialAdapters::new

    source
    fn DifferentialAdapters::new(wasm_tools_validate? : (Bytes) -> Result[Bool, String], binaryen_validate? : (Bytes) -> Result[Bool, String], per_case_timeout_ms? : Int?) -> DifferentialAdapters

    DifferentialValidationReport

    source
    pub struct DifferentialValidationReport {
      internal_valid : Bool
      wasm_tools_valid : Bool?
      binaryen_valid : Bool?
      per_case_timeout_ms : Int?
      wasm_tools_timeout : Bool
      binaryen_timeout : Bool
    } derive(Eq, 
    Debug    )

    ExportInvocationClassification

    source
    pub enum ExportInvocationClassification {
      EqualResult
      EqualTrap
      UnsupportedRuntime
      NondeterministicImport
      SemanticMismatch(String)
    } derive(Eq, 
    Debug    )

    ExportInvocationClassification::equal_result

    source

    ExportInvocationClassification::equal_trap

    source

    ExportInvocationClassification::nondeterministic_import

    source

    ExportInvocationClassification::semantic_mismatch

    source
    fn ExportInvocationClassification::semantic_mismatch(message : String) -> ExportInvocationClassification

    ExportInvocationClassification::unsupported_runtime

    source

    ExportInvocationComparisonReport

    source
    pub struct ExportInvocationComparisonReport {
      export_name : String
      args : Array[String]
      left_result : ExportInvocationResult
      right_result : ExportInvocationResult
      classification : ExportInvocationClassification
    } derive(Eq, 
    Debug    )

    ExportInvocationFailurePolicy

    source
    pub enum ExportInvocationFailurePolicy {
      Informational
      FailOnSemanticMismatch
    } derive(Eq, 
    Debug    )

    ExportInvocationFailurePolicy::fail_on_semantic_mismatch

    source

    ExportInvocationFailurePolicy::informational

    source

    ExportInvocationMatrixOutcome

    source
    pub enum ExportInvocationMatrixOutcome {
      Empty
      AllEqual
      Blocked
      SemanticMismatch
    } derive(Eq, 
    Debug    )

    ExportInvocationMatrixOutcome::all_equal

    source

    ExportInvocationMatrixOutcome::blocked

    source

    ExportInvocationMatrixOutcome::empty

    source

    ExportInvocationMatrixOutcome::semantic_mismatch

    source

    ExportInvocationMatrixSummary

    source
    pub struct ExportInvocationMatrixSummary {
      total : Int
      equal_results : Int
      equal_traps : Int
      unsupported_runtimes : Int
      nondeterministic_imports : Int
      semantic_mismatches : Int
    } derive(Eq, 
    Debug    )

    ExportInvocationResult

    source
    pub enum ExportInvocationResult {
      Value(String)
      Trap(String)
      UnsupportedRuntime(String)
      NondeterministicImport(String)
    } derive(Eq, 
    Debug    )

    ExportInvocationResult::nondeterministic_import

    source
    fn ExportInvocationResult::nondeterministic_import(import_name : String) -> ExportInvocationResult

    ExportInvocationResult::trap

    source
    fn ExportInvocationResult::trap(message : String) -> ExportInvocationResult

    ExportInvocationResult::unsupported_runtime

    source
    fn ExportInvocationResult::unsupported_runtime(message : String) -> ExportInvocationResult

    ExportInvocationResult::value

    source
    fn ExportInvocationResult::value(value : String) -> ExportInvocationResult

    FuzzCorpusDedupDecision

    source
    pub struct FuzzCorpusDedupDecision {
      hash : String
      duplicate : Bool
      canonical_seed : UInt64?
    } derive(Eq, 
    Debug    )

    FuzzCorpusDedupHashEntry

    source
    type FuzzCorpusDedupHashEntry derive(Eq, 
    Debug    )

    FuzzCorpusDedupIndex

    source
    pub struct FuzzCorpusDedupIndex {
      entries : Array[FuzzCorpusDedupHashEntry]
      positions : 
    HashMap    [String, Int]
    } derive(
    Debug    )

    FuzzCorpusDedupIndex::new

    source

    FuzzCorpusDedupIndex::record

    source

    FuzzCorpusDedupIndex::to_text

    source
    fn FuzzCorpusDedupIndex::to_text(self : FuzzCorpusDedupIndex) -> String

    FuzzCorpusDedupSourceEntry

    source
    type FuzzCorpusDedupSourceEntry derive(Eq, 
    Debug    )

    FuzzCorpusSource

    source
    pub struct FuzzCorpusSource {
      seed : UInt64
      attempt : Int
      generator_profile : String
      pass_profile : String
      stage : String
    } derive(Eq, 
    Debug    )

    FuzzCorpusSource::new

    source
    fn FuzzCorpusSource::new(seed : UInt64, attempt : Int, generator_profile : String, pass_profile : String, stage : String) -> FuzzCorpusSource

    FuzzFailurePersistIO

    source
    pub struct FuzzFailurePersistIO {
      ensure_dir : (String) -> Result[Unit, String]
      write_file : (String, Bytes) -> Result[Unit, String]
    }

    FuzzFailurePersistIO::new

    source
    fn FuzzFailurePersistIO::new(ensure_dir? : (String) -> Result[Unit, String], write_file? : (String, Bytes) -> Result[Unit, String]) -> FuzzFailurePersistIO

    FuzzFailureReport

    source
    pub struct FuzzFailureReport {
      seed : UInt64
      attempt : Int
      generated_valid : Int
      stage : String
      message : String
      optimize_passes : Array[String]
      minimized_passes : Array[String]
      generator_profile : String
      pass_profile : String
      generator_config_label : String
      generated_attempts : Int
      feature_facts : String
      wasm : Bytes?
      reduced_wasm : Bytes?
      reduction_original_size : Int?
      reduction_final_size : Int?
      reduction_predicate_evaluations : Int?
      reduction_steps : Array[FuzzReductionStep]
    } derive(Eq, 
    Debug    )

    FuzzFailureReport::new

    source
    fn FuzzFailureReport::new(seed : UInt64, attempt : Int, generated_valid : Int, stage : String, message : String, optimize_passes? : Array[String], minimized_passes? : Array[String], generator_profile? : String, pass_profile? : String, generator_config_label? : String, generated_attempts? : Int, feature_facts? : String, wasm? : Bytes?, reduced_wasm? : Bytes?, reduction_original_size? : Int?, reduction_final_size? : Int?, reduction_predicate_evaluations? : Int?, reduction_steps? : Array[FuzzReductionStep]) -> FuzzFailureReport

    FuzzReductionReport

    source
    pub struct FuzzReductionReport[T] {
      result : T
      original_size : Int
      final_size : Int
      predicate_evaluations : Int
      steps : Array[FuzzReductionStep]
    } derive(
    Debug    )

    FuzzReductionStep

    source
    pub struct FuzzReductionStep {
      kind : String
      start : Int
      len : Int
      before_size : Int
      after_size : Int
    } derive(Eq, 
    Debug    )

    InliningOptions

    source
    pub struct InliningOptions {
      always_inline_max_size : Int
      one_caller_inline_max_size : Int
      flexible_inline_max_size : Int
      max_combined_binary_size : Int
      allow_functions_with_loops : Bool
      partial_inlining_ifs : Int
    } derive(Eq, 
    Debug    )

    InliningOptions::new

    source
    fn InliningOptions::new(always_inline_max_size? : Int, one_caller_inline_max_size? : Int, flexible_inline_max_size? : Int, max_combined_binary_size? : Int, allow_functions_with_loops? : Bool, partial_inlining_ifs? : Int) -> InliningOptions

    OptimizeOptions

    source
    pub struct OptimizeOptions {
      optimize_level : Int
      shrink_level : Int
      inlining : InliningOptions
      monomorphize_min_benefit : Int
      closed_world : Bool
      zero_filled_memory : Bool
      fast_math : Bool
      low_memory_unused : Bool
      low_memory_bound : UInt64
      traps_never_happen : Bool
      ignore_implicit_traps : Bool
      compiler_fact_policy : 
    CompilerFactUsePolicy
      validation_policy : OptimizeValidationPolicy
      stack_function_passes : Bool
    } derive(Eq, 
    Debug    )

    OptimizeOptions::new

    source
    fn OptimizeOptions::new(optimize_level? : Int, shrink_level? : Int, inlining? : InliningOptions, monomorphize_min_benefit? : Int, closed_world? : Bool, zero_filled_memory? : Bool, fast_math? : Bool, low_memory_unused? : Bool, low_memory_bound? : UInt64, traps_never_happen? : Bool, ignore_implicit_traps? : Bool, compiler_fact_policy? : 
    CompilerFactUsePolicy    , validation_policy? : OptimizeValidationPolicy, stack_function_passes? : Bool) -> OptimizeOptions

    OptimizeTracingLevel

    source
    pub enum OptimizeTracingLevel {
      Pass
      Phase
      Helper
    } derive(Eq, 
    Debug    )

    OptimizeTracingLevel::helper

    source

    OptimizeTracingLevel::pass

    source

    OptimizeTracingLevel::phase

    source

    OptimizeValidationPolicy

    source
    pub enum OptimizeValidationPolicy {
      FinalModuleOnly
      AfterSegment
    } derive(Eq, 
    Debug    )

    OptimizeValidationPolicy::after_segment

    source

    OptimizeValidationPolicy::final_module_only

    source

    ReadmeApiVerifyBlock

    source
    type ReadmeApiVerifyBlock derive(Eq, 
    Debug    )

    TextAggregateAdapterResult

    source
    pub struct TextAggregateAdapterResult {
      adapter_name : String
      parse_ok : Bool
      print_ok : Bool?
      lower_ok : Bool?
      validates_ok : Bool?
      unsupported_syntax : Bool
      adapter_available : Bool
      message : String?
    } derive(Eq, 
    Debug    )

    TextAggregateAdapterResult::external_accepted

    source
    fn TextAggregateAdapterResult::external_accepted(adapter_name : String, validates_ok? : Bool?) -> TextAggregateAdapterResult

    TextAggregateAdapterResult::external_parse_error

    source
    fn TextAggregateAdapterResult::external_parse_error(adapter_name : String, message : String) -> TextAggregateAdapterResult

    TextAggregateAdapterResult::external_unavailable

    source
    fn TextAggregateAdapterResult::external_unavailable(adapter_name : String, message : String) -> TextAggregateAdapterResult

    TextAggregateAdapterResult::external_unsupported_syntax

    source
    fn TextAggregateAdapterResult::external_unsupported_syntax(adapter_name : String, message : String) -> TextAggregateAdapterResult

    TextAggregateClassification

    source
    pub enum TextAggregateClassification {
      Accepted
      ParseDisagreement
      PrintDisagreement
      LowerDisagreement
      UnsupportedSyntax
      SemanticValidationDisagreement
      AdapterUnavailable
    } derive(Eq, 
    Debug    )

    TextAggregateClassification::accepted

    source

    TextAggregateClassification::adapter_unavailable

    source

    TextAggregateClassification::lower_disagreement

    source

    TextAggregateClassification::parse_disagreement

    source

    TextAggregateClassification::print_disagreement

    source

    TextAggregateClassification::semantic_validation_disagreement

    source
    fn TextAggregateClassification::semantic_validation_disagreement() -> TextAggregateClassification

    TextAggregateClassification::unsupported_syntax

    source

    TextDifferentialArtifactPaths

    source
    pub struct TextDifferentialArtifactPaths {
      case_dir : String
      original_text_path : String
      starshine_printed_text_path : String?
      starshine_original_wasm_path : String?
      starshine_reparsed_wasm_path : String?
      adapters_path : String
      classification_path : String
    } derive(Eq, 
    Debug    )

    TextParsePrintLowerReport

    source
    pub struct TextParsePrintLowerReport {
      adapter_name : String
      original_parse_ok : Bool
      print_ok : Bool
      reparse_lower_ok : Bool
      printed_text : String?
      original_lowered_bytes : Bytes?
      reparsed_lowered_bytes : Bytes?
      message : String?
    } derive(Eq, 
    Debug    )

    binary_differential_classification_label

    source
    fn binary_differential_classification_label(classification : BinaryDifferentialClassification) -> String

    binary_differential_failed_validation_result

    source
    fn binary_differential_failed_validation_result(adapter_name : String, bytes : Bytes, message : String) -> BinaryDifferentialAdapterResult

    choose_simple_export_invocation_args

    source
    fn choose_simple_export_invocation_args(params : Array[
    ValType    ]) -> Result[Array[String], String]

    classify_binary_canonicality_differential

    source
    fn classify_binary_canonicality_differential(input_class : BinaryCanonicalityInputClass, internal_valid : Bool, wasm_tools_valid : Bool?, binaryen_valid : Bool?) -> BinaryCanonicalityClassification

    classify_binary_differential_results

    source
    fn classify_binary_differential_results(results : Array[BinaryDifferentialAdapterResult]) -> BinaryDifferentialClassification

    classify_export_invocation_matrix

    source
    fn classify_export_invocation_matrix(summary : ExportInvocationMatrixSummary) -> ExportInvocationMatrixOutcome

    classify_export_invocation_results

    source
    fn classify_export_invocation_results(left : ExportInvocationResult, right : ExportInvocationResult) -> ExportInvocationClassification

    classify_n_way_text_aggregate

    source
    fn classify_n_way_text_aggregate(results : Array[TextAggregateAdapterResult]) -> TextAggregateClassification

    cmd_fuzz_harness_profile_config

    source
    fn cmd_fuzz_harness_profile_config(profile : String) -> Result[CmdFuzzHarnessProfileConfig, String]

    cmd_fuzz_harness_profile_config_with_seed

    source
    fn cmd_fuzz_harness_profile_config_with_seed(profile : String, seed : UInt64) -> Result[CmdFuzzHarnessProfileConfig, String]

    cmd_fuzz_random_pass_sequence

    source
    fn cmd_fuzz_random_pass_sequence(profile : String, seed : UInt64) -> Array[String]

    cmd_help_text

    source
    fn cmd_help_text() -> String

    cmd_version_text

    source
    fn cmd_version_text() -> String

    compare_export_invocation_results

    source
    fn compare_export_invocation_results(export_name : String, args : Array[String], left : ExportInvocationResult, right : ExportInvocationResult) -> ExportInvocationComparisonReport

    differential_validate_wasm

    source
    fn differential_validate_wasm(bytes : Bytes, adapters? : DifferentialAdapters) -> Result[DifferentialValidationReport, String]

    export_invocation_matrix_should_fail

    source
    fn export_invocation_matrix_should_fail(summary : ExportInvocationMatrixSummary, policy : ExportInvocationFailurePolicy) -> Bool

    export_invocation_semantic_mismatch_reports

    source
    fn export_invocation_semantic_mismatch_reports(reports : Array[ExportInvocationComparisonReport]) -> Array[ExportInvocationComparisonReport]

    export_invocation_summary_has_semantic_mismatch

    source
    fn export_invocation_summary_has_semantic_mismatch(summary : ExportInvocationMatrixSummary) -> Bool

    format_binary_differential_smoke_report_json

    source
    fn format_binary_differential_smoke_report_json(report : BinaryDifferentialSmokeReport) -> String

    minimize_fuzz_passes

    source
    fn minimize_fuzz_passes(passes : Array[String], reproduces : (Array[String]) -> Bool) -> Array[String]

    native_differential_tools_available

    source
    fn native_differential_tools_available() -> (Bool, Bool)

    persist_fuzz_failure_report

    source
    fn persist_fuzz_failure_report(report : FuzzFailureReport, io : FuzzFailurePersistIO, corpus_dir? : String) -> Result[(String, String?), String]

    persist_text_differential_artifacts

    source
    fn persist_text_differential_artifacts(original_text : String, local_report : TextParsePrintLowerReport, external_results : Array[TextAggregateAdapterResult], classification : TextAggregateClassification, io : FuzzFailurePersistIO, repro_dir? : String, seed? : UInt64, attempt? : Int) -> Result[TextDifferentialArtifactPaths, String]

    reduce_fuzz_bytes_by_slice_deletion

    source
    fn reduce_fuzz_bytes_by_slice_deletion(bytes : Bytes, reproduces : (Bytes) -> Bool) -> FuzzReductionReport[Bytes]

    reduce_fuzz_module_fields_by_deletion

    source

    reduce_fuzz_sequence_by_deletion

    source
    fn[T] reduce_fuzz_sequence_by_deletion(values : Array[T], reproduces : (Array[T]) -> Bool) -> FuzzReductionReport[Array[T]]

    reduce_fuzz_text_tokens_by_deletion

    source
    fn reduce_fuzz_text_tokens_by_deletion(text : String, reproduces : (String) -> Bool) -> FuzzReductionReport[String]

    run_binary_differential_smoke

    source
    fn run_binary_differential_smoke(corpus : Array[Bytes], external_adapters? : Array[BinaryDifferentialSmokeAdapter]) -> BinaryDifferentialSmokeReport

    run_binaryen_binary_validation_adapter

    source
    fn run_binaryen_binary_validation_adapter(bytes : Bytes) -> BinaryDifferentialAdapterResult

    run_cmd

    source
    fn run_cmd(args : Array[String]) -> Result[CmdRunSummary, CmdError]

    run_cmd_exit_code

    source
    fn run_cmd_exit_code(args : Array[String]) -> Int

    run_cmd_exit_code_with_adapter

    source
    fn run_cmd_exit_code_with_adapter(args : Array[String], io : CmdIO, config_json? : String?) -> Int

    run_cmd_fuzz_harness

    source
    fn run_cmd_fuzz_harness(valid_target : Int, seed? : UInt64, optimize_passes? : Array[String], generator_profile? : String, generator_config? : 
    GenValidConfig    ?, pass_profile? : String, check_optimize_idempotence? : Bool, check_encode_decode_idempotence? : Bool, check_optimizer_determinism? : Bool, differential_adapters? : DifferentialAdapters?, differential_every? : Int, on_failure? : (FuzzFailureReport) -> Result[Unit, String]?) -> Result[CmdFuzzStats, String]

    run_cmd_fuzz_harness_profile

    source
    fn run_cmd_fuzz_harness_profile(profile : String, seed : UInt64) -> Result[CmdFuzzStats, String]

    run_cmd_with_adapter

    source
    fn run_cmd_with_adapter(args : Array[String], io : CmdIO, config_json? : String?) -> Result[CmdRunSummary, CmdError]

    CLI entrypoint used by the Node runtime bridge and tests. It builds a merged CLI/env/config view, constructs a scheduled pass list, then routes requested pass names through the active hot pass pipeline.

    run_local_text_parse_print_lower_matrix

    source
    fn run_local_text_parse_print_lower_matrix(source : String, filename? : String) -> TextParsePrintLowerReport

    run_wabt_binary_validation_adapter

    source
    fn run_wabt_binary_validation_adapter(bytes : Bytes) -> BinaryDifferentialAdapterResult

    run_wasm_tools_binary_validation_adapter

    source
    fn run_wasm_tools_binary_validation_adapter(bytes : Bytes) -> BinaryDifferentialAdapterResult

    summarize_binary_canonicality_classifications

    source
    fn summarize_binary_canonicality_classifications(classifications : Array[BinaryCanonicalityClassification]) -> BinaryCanonicalitySummary

    summarize_export_invocation_matrix

    source
    fn summarize_export_invocation_matrix(reports : Array[ExportInvocationComparisonReport]) -> ExportInvocationMatrixSummary

    text_aggregate_classification_label

    source
    fn text_aggregate_classification_label(classification : TextAggregateClassification) -> String

    text_aggregate_local_result

    source
    fn text_aggregate_local_result(report : TextParsePrintLowerReport, validates_ok? : Bool?) -> TextAggregateAdapterResult

    verify_readme_api_signatures

    source
    fn verify_readme_api_signatures(readme_text : String, interface_text_by_path : Array[(String, String)]) -> Result[Unit, String]

    verify_readme_api_signatures_with_required_blocks

    source
    fn verify_readme_api_signatures_with_required_blocks(readme_text : String, interface_text_by_path : Array[(String, String)], required_block_paths : Array[String]) -> Result[Unit, String]

    Resolve required blocks and validate that every listed signature appears in the corresponding interface text, while collecting all diagnostics and reporting one aggregated error message when inconsistencies exist.

    Source Files

    Powered by MoonBit

    Site sourceReport issueModulesSkillsCLIBuild queueStatistics

    © 2026 mooncakes.io