use proptest::prelude::*;
use srgn::scoping::view::ScopedViewBuilder;
use crate::properties::DEFAULT_NUMBER_OF_TEST_CASES;
proptest! {
#![proptest_config(ProptestConfig::with_cases(DEFAULT_NUMBER_OF_TEST_CASES))]
#[test]
fn test_uppercasing_uppercase_has_no_effect(
input in r"\p{Uppercase_Letter}*"
) {
let mut view = ScopedViewBuilder::new(&input).build();
view.upper();
let res = view.to_string();
assert_eq!(res, input);
}
}