amaru_kernel/cardano/network.rs
1// Copyright 2026 PRAGMA
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7// http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
15pub use pallas_addresses::Network;
16#[cfg(any(test, feature = "test-utils"))]
17pub use tests::*;
18
19#[cfg(any(test, feature = "test-utils"))]
20mod tests {
21 use proptest::prelude::*;
22
23 use super::*;
24
25 prop_compose! {
26 pub fn any_network()(
27 is_testnet in any::<bool>(),
28 ) -> Network {
29 if is_testnet {
30 Network::Testnet
31 } else {
32 Network::Mainnet
33 }
34 }
35 }
36}