KtorZ 966a20f691 Fix run_n_times for properties expected to fail.		2024-03-04 23:41:37 +01:00
..
blueprint	update tests and ensure identity reducer handles no_inline lambda	2024-03-04 10:52:56 -05:00
deps	Throttle calls to package registry for version resolution	2023-09-13 17:17:32 -04:00
github	`aiken new`: Try to get the latest tag of stdlib	2023-08-16 22:30:15 -04:00
tests	update tests and fix final unique issues	2024-03-04 10:52:56 -05:00
utils	Refactor creation of CodeGenerator and management of known data_types and functions.	2024-03-03 19:33:26 +01:00
config.rs	fix: aiken new github action version	2024-01-18 12:10:06 -05:00
deps.rs	Throttle calls to package registry for version resolution	2023-09-13 17:17:32 -04:00
docs.rs	chore: clippy fix	2023-09-13 18:17:59 -04:00
error.rs	Fix and improve test outputs for prop tests.	2024-03-03 21:00:51 +01:00
format.rs	chore: bow to the clippy	2023-03-14 17:03:28 -04:00
lib.rs	Remove 'seed' arg from 'with_project' to FinishedTests event	2024-03-04 18:43:51 +01:00
module.rs	Refactor creation of CodeGenerator and management of known data_types and functions.	2024-03-03 19:33:26 +01:00
options.rs	Accept an optional --seed parameter for check, otherwise default to random.	2024-03-03 20:36:01 +01:00
package_name.rs	Auto-derive 'Debug' trait instance for types in deps	2023-09-13 17:17:32 -04:00
paths.rs	Throttle calls to package registry for version resolution	2023-09-13 17:17:32 -04:00
pretty.rs	cargo fmt --all	2024-03-03 21:05:43 +01:00
telemetry.rs	Show counter examples in green when property is expected to fail.	2024-03-04 20:41:04 +01:00
test_framework.rs	Fix run_n_times for properties expected to fail.	2024-03-04 23:41:37 +01:00
watch.rs	Remove 'seed' arg from 'with_project' to FinishedTests event	2024-03-04 18:43:51 +01:00