ExBudget { mem: 462010, cpu: 186133068, } expect [pool_output] = list.filter( outputs, fn(output) { let Output { address: Address { payment_credential, .. }, value, .. } = output and { payment_credential == ScriptCredential(amm_pool_validation_hash), value.quantity_of( value, amm_authen_policy_id, amm_pool_auth_asset_name, ) == 1, } }, )

ExBudget { mem: 1006321, cpu: 394074174, } expect and { base_asset == o_base_asset, raise_asset == o_raise_asset, user_address == owner, expect_user_value == user_value, }

ExBudget { mem: 627807, cpu: 234246698, } expect [pool_ref_input] = list.filter( ref_inputs, fn(ref_input) { let Input { output: Output { address: Address { payment_credential, .. }, value: in_value, .. }, .. } = ref_input and { // Ref Input belongs Amm Pool Address payment_credential == ScriptCredential(amm_pool_validation_hash), // Ref Input has AMM Pool Auth Token value.quantity_of( in_value, amm_authen_policy_id, amm_pool_auth_asset_name, ) == 1, } }, )

ExBudget { mem: 482142, cpu: 192756903, } expect [pool_output] = list.filter( outputs, fn(output) { let Output { address: Address { payment_credential, .. }, value, .. } = output and { payment_credential == ScriptCredential(amm_pool_validation_hash), value.quantity_of( value, amm_authen_policy_id, amm_pool_auth_asset_name, ) == 1, } }, )

Process completed with exit code 1.