1 // Copyright 2023 Google LLC
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 
15 #![cfg(feature = "proptest")]
16 
17 use googletest::prelude::*;
18 use proptest::test_runner::{Config, TestRunner};
19 
20 #[test]
numbers_are_greater_than_zero() -> Result<()>21 fn numbers_are_greater_than_zero() -> Result<()> {
22     let mut runner = TestRunner::new(Config::default());
23     runner.run(&(1..100i32), |v| Ok(verify_that!(v, gt(0))?)).into_test_result()
24 }
25 
26 #[test]
strings_are_nonempty() -> Result<()>27 fn strings_are_nonempty() -> Result<()> {
28     let mut runner = TestRunner::new(Config::default());
29     runner.run(&"[a-zA-Z0-9]+", |v| Ok(verify_that!(v, not(eq("")))?)).into_test_result()
30 }
31