From d53f770d9006519b2e4389345331d61597c08a7c Mon Sep 17 00:00:00 2001 From: KtorZ <5680256+KtorZ@users.noreply.github.com> Date: Sun, 9 Feb 2025 16:53:58 +0100 Subject: [PATCH] minor tweaks and proof-reading. Signed-off-by: KtorZ <5680256+KtorZ@users.noreply.github.com> --- crates/aiken-lang/src/test_framework.rs | 2 +- crates/aiken-project/Cargo.toml | 2 +- crates/aiken/src/cmd/benchmark.rs | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/crates/aiken-lang/src/test_framework.rs b/crates/aiken-lang/src/test_framework.rs index 821d04f3..57ba0491 100644 --- a/crates/aiken-lang/src/test_framework.rs +++ b/crates/aiken-lang/src/test_framework.rs @@ -530,7 +530,7 @@ pub struct Benchmark { unsafe impl Send for Benchmark {} impl Benchmark { - pub const DEFAULT_MAX_SIZE: usize = 10; + pub const DEFAULT_MAX_SIZE: usize = 30; pub fn run( self, diff --git a/crates/aiken-project/Cargo.toml b/crates/aiken-project/Cargo.toml index 30cccd28..bb2c168f 100644 --- a/crates/aiken-project/Cargo.toml +++ b/crates/aiken-project/Cargo.toml @@ -11,7 +11,7 @@ authors = [ "Kasey White ", "KtorZ ", ] -rust-version = "1.70.0" +rust-version = "1.80.0" build = "build.rs" [dependencies] diff --git a/crates/aiken/src/cmd/benchmark.rs b/crates/aiken/src/cmd/benchmark.rs index 11121f60..3b09a928 100644 --- a/crates/aiken/src/cmd/benchmark.rs +++ b/crates/aiken/src/cmd/benchmark.rs @@ -17,7 +17,7 @@ pub struct Args { /// Path to project directory: Option, - /// An initial seed to initialize the pseudo-random generator for property-tests. + /// An initial seed to initialize the pseudo-random generator for benchmarks. #[clap(long)] seed: Option, @@ -29,7 +29,7 @@ pub struct Args { /// Only run benchmarks if they match any of these strings. /// /// You can match a module with `-m aiken/list` or `-m list`. - /// You can match a test with `-m "aiken/list.{map}"` or `-m "aiken/option.{flatten_1}"` + /// You can match a benchmark with `-m "aiken/list.{map}"` or `-m "aiken/option.{flatten_1}"` #[clap(short, long)] match_benchmarks: Option>,