KtorZ
22b86a5f82
Add --max-success for running more or less prop runs on demand.
2024-03-09 19:17:57 +01:00
KtorZ
d581183cc6
Fix formatter discarding nul bytes.
2024-03-09 18:59:35 +01:00
microproofs
b761d6a76d
fix: function aliases were leading to free uniques
2024-03-09 12:46:12 -05:00
microproofs
bffa678178
fix: mutually recursive zero arg functions needed to have their function bodies delayed
2024-03-09 10:04:30 -05:00
Matthias Benkort
7f0df40b4e
Merge pull request #862 from SundaeSwap-finance/pi/summary-check-count
...
Include the number of tests / checks run as part of the summary
2024-03-09 13:10:16 +01:00
microproofs
c51741cc35
fix: mutually recursive zero arg function calls were reaching an unreachable
2024-03-08 22:58:03 -05:00
Pi Lanningham
ebd6c3a56e
Cargo fmt
2024-03-08 20:43:27 -05:00
Pi Lanningham
ace58e368c
Correctly report the checks count
...
It might be slightly cleaner and more extensible to change to return a summary, potentially even making track the tests, coverage, etc. so it can be serialized to JSON. But, for now, this is much simpler, and the approach that KtorZ suggested.
2024-03-08 20:40:50 -05:00
KtorZ
77faee672e
cargo fmt --all
2024-03-09 01:28:48 +01:00
KtorZ
bbe7c0bc01
report prop test coverage labels on success.
2024-03-09 01:28:29 +01:00
KtorZ
96da70149d
Count labels in properties.
...
We'll piggyback on the tracing capabilities of the VM to provide labelling for prop tests. To ensure we do not interfere with normal traces, we only count traces that starts with a NUL byte as label. That convention is assumed to be known of the companion fuzz library that should then provide the labelling capabilities as a dedicated function.
2024-03-09 01:28:29 +01:00
KtorZ
d6cc9bdfbe
Allow implicit discard when right-hand side is Void.
...
This is the most intuitive/expected behavior. Otherwise, it forces a pointless let-binding to 'Void' or into a discard.
2024-03-09 01:28:29 +01:00
rvcas
d73f8fd6c2
chore: update changelog
2024-03-08 19:19:07 -05:00
rvcas
cb0ae0c074
feat: impl some conversion methods on CheckedModule
2024-03-08 19:19:07 -05:00
rvcas
d55b7844f0
feat: impl serde for TypeAliasAnnotation
2024-03-08 19:19:07 -05:00
rvcas
2b5ed95df5
feat: serialize as cbor
2024-03-08 19:19:07 -05:00
rvcas
836e853827
fix: bring back vec1
2024-03-08 19:19:07 -05:00
rvcas
9d99b509b2
chore: this should be gone
2024-03-08 19:19:07 -05:00
rvcas
fe6710935d
feat: impl serde on errythang
2024-03-08 19:19:07 -05:00
Pi Lanningham
e944f10372
Add an optional check count; when we run a command that runs tests, we can set this to Some(x) and it'll print in the summary
2024-03-08 17:36:32 -05:00
rvcas
49ca7e1f75
chore: update changelog
2024-03-08 16:21:48 -05:00
KtorZ
a9d596f4cb
Memoize simplification steps during property-based shrinking.
...
I've been benchmarking that through the shrink of 'large' lists, and the cache brings about 1.5x speed increase. For small and simple cases, the cache as no visible effects (positive or negative).
2024-03-08 18:58:51 +01:00
microproofs
c906501836
add one more test
2024-03-08 12:25:26 -05:00
microproofs
64f580bb82
one more change to the changelog
2024-03-08 12:19:18 -05:00
microproofs
9636a4de03
update changelog
2024-03-08 11:18:50 -05:00
Matthias Benkort
bc161f761b
Merge pull request #860 from aiken-lang/preserve-type-aliases
...
Preserve type-aliases in (pretty-printed) type annotations
2024-03-08 16:41:44 +01:00
KtorZ
a578728a94
Resolve type aliases based on inferred types.
...
Before this commit, we would always show the 'declared form' of type aliases, with their generic, non-instantiated parameters. This now tries to unify the annotation with the underlying inferred type to provide even better alias pretty printing.
2024-03-08 16:01:21 +01:00
KtorZ
ed9f5c6ef7
Preserve TypeAlias in types for better context/feedback.
2024-03-08 15:59:33 +01:00
KtorZ
877d10ef22
Use inferred Fuzzer inner type for unify error when possible.
2024-03-08 15:57:41 +01:00
microproofs
eb07365e73
fix tests
2024-03-08 00:12:44 -05:00
microproofs
94f383762c
step up the optimizations a bit more by inlining a small function
2024-03-08 00:12:44 -05:00
microproofs
bf429fbdbf
remove unused import
2024-03-08 00:12:44 -05:00
microproofs
dcec8ecfe6
remove unused special function
2024-03-08 00:12:44 -05:00
microproofs
541d96f558
remove comment line
2024-03-08 00:12:44 -05:00
microproofs
275db2fd11
update tests
2024-03-08 00:12:44 -05:00
microproofs
ae396c0224
Fix opaque type destructuring in code gen
2024-03-08 00:12:44 -05:00
microproofs
1edd1a1fa3
change currying to happen with 3 or more occurrences
2024-03-08 00:12:44 -05:00
microproofs
e9122de061
more identity reduce testing
2024-03-08 00:12:44 -05:00
microproofs
dabaae8ca6
more identity and inline tests
2024-03-08 00:12:44 -05:00
microproofs
97b0cf6813
reorganize shrinker tests
2024-03-08 00:12:44 -05:00
microproofs
eb709d6fc3
reorder tests to match order of functions
2024-03-08 00:12:44 -05:00
rvcas
fab6d5aff7
chore: fix fmt
2024-03-07 19:32:33 -05:00
KtorZ
8e558d893f
Only reify unit tests assertions on failure.
2024-03-07 19:07:55 +01:00
KtorZ
0d599f7e2d
re-add missing newline after test blocks.
2024-03-07 18:28:21 +01:00
KtorZ
23a22a65cb
Handle (recursive) generic types during reification.
...
Also moved a bunch of functions from code-gen back into _tipo_, as
they're better suited and generic enough to be reused elsewhere.
2024-03-07 18:07:52 +01:00
microproofs
a3fbe6c155
fix tests
2024-03-06 23:27:10 -05:00
microproofs
e217423145
mixed up pair builtin
2024-03-06 23:27:10 -05:00
microproofs
bdd84dc952
fixing the tests lead to me create a new function for converting from data
2024-03-06 23:27:10 -05:00
microproofs
892da06e14
add more runtime checking for a few of the data to primitive conversions
2024-03-06 23:27:10 -05:00
KtorZ
4c97240900
Fill-in CHANGELOG about associativity.
2024-03-07 01:31:04 +01:00
