equal
deleted
inserted
replaced
1 use proptest::{ |
1 use proptest::{ |
2 test_runner::{TestRunner, Reason}, |
2 test_runner::{TestRunner, Reason}, |
3 arbitrary::{any, any_with, Arbitrary, StrategyFor}, |
3 arbitrary::{any, any_with, Arbitrary, StrategyFor}, |
4 strategy::{Strategy, BoxedStrategy, Just, Map}, |
4 strategy::{Strategy, BoxedStrategy, Just, Map} |
5 }; |
5 }; |
6 |
6 |
7 use crate::server::coretypes::{GameCfg, TeamInfo, HedgehogInfo}; |
7 use crate::server::coretypes::{GameCfg, TeamInfo, HedgehogInfo}; |
8 |
8 |
9 use super::messages::{ |
9 use super::messages::{ |