diff options
Diffstat (limited to 'src/tests/example_mapping')
| -rw-r--r-- | src/tests/example_mapping/benches/main.rs | 2 | ||||
| -rw-r--r-- | src/tests/example_mapping/src/types.pr.rs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/tests/example_mapping/benches/main.rs b/src/tests/example_mapping/benches/main.rs index e681a68..bbca9f0 100644 --- a/src/tests/example_mapping/benches/main.rs +++ b/src/tests/example_mapping/benches/main.rs @@ -1,7 +1,7 @@ use criterion::{criterion_group, criterion_main, BenchmarkId, Criterion}; fn run_benches(c: &mut Criterion) { - for size in [500, 10_000, 50_000].iter() { + for size in [10_000, 100_000, 500_000].iter() { c.bench_with_input( BenchmarkId::new("example_mapping-insert_get", size), size, diff --git a/src/tests/example_mapping/src/types.pr.rs b/src/tests/example_mapping/src/types.pr.rs index d85a0af..4a63e74 100644 --- a/src/tests/example_mapping/src/types.pr.rs +++ b/src/tests/example_mapping/src/types.pr.rs @@ -1,3 +1,3 @@ /*SPEC* -type Map<K, V> = {c impl (Mapping) | true} +type Map<K,V> = {c impl (Mapping) | true} *ENDSPEC*/ |