pruner 0.80.0

A command-line utility and library to prune backups on a schedule.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

use proptest::prelude::*;

impl<T: Arbitrary + 'static> Arbitrary for crate::Bucket<T> {
	type Parameters = ();
	type Strategy = BoxedStrategy<Self>;

	fn arbitrary_with(_: Self::Parameters) -> Self::Strategy {
		(
			any::<T>(),
			any::<usize>())
			.prop_map(|(period, count)| {
				crate::Bucket::new(period, count)
			})
			.boxed()
	}
}

impl<T: Arbitrary + std::cmp::PartialOrd + 'static> Arbitrary for crate::Config<T> {
	type Parameters = ();
	type Strategy = BoxedStrategy<Self>;

	fn arbitrary_with(_: Self::Parameters) -> Self::Strategy {
		any::<Vec<crate::Bucket<T>>>()
			.prop_map(|buckets| {
				let mut config = crate::Config::empty();
				for b in buckets {
					config.add_bucket(b);
				}
				config
			})
			.boxed()
	}
}

proptest::proptest! {
	#[test]
	fn test(
		config: crate::Config<u32>,
		mut candidates: Vec<u32>
	) {
		candidates.sort();
		for evicted in crate::prune(&config, candidates.clone()) {
			let i = candidates.iter().take_while(|c| **c != evicted).count();
			candidates.remove(i);
		}
	}
}