Marek Kaput
Marek Kaput
Add a section to our documentation: Testing - Flavours (01, move other pages further) - Unit testing (01) - Integration testing (02) - E2E testing (03) In each page describe...
This requires further thinking about. Currently, we have two felt producing strategies: `unsigned()` and `signed()`. I have an impression that there are no use cases for the `signed()` strategy. We...
As happened for the bug reporter in #590, Protostar has crashed due to unexpected exception, and it didn't report the testing seed and other statistics, thus it's hard for us...
As a StarkNet smart contract developer, I want Protostar to print files path relative to project root instead of being absolute so that logs do not leak information about my...
Provide a testing strategy for `Uint256` type and add it to the `infer_strategy_from_cairo_type` function.
Check out https://hypothesis.readthedocs.io/en/latest/reproducing.html#providing-explicit-examples for Hypothesis' feature docs. It may be tricky to combine this feature with strategy learning. Not researched yet.
Expose following Hypothesis APIs via our StrategyDescriptor API: - https://hypothesis.readthedocs.io/en/latest/data.html#hypothesis.strategies.one_of - https://hypothesis.readthedocs.io/en/latest/data.html#mapping - https://hypothesis.readthedocs.io/en/latest/data.html#filtering
Add a new fuzzing strategy based on https://hypothesis.readthedocs.io/en/latest/data.html#hypothesis.strategies.text which yields Cairo short strings.
Export Hypothesis' [example database](https://hypothesis.readthedocs.io/en/latest/database.html) feature to our users.
Following test case ```cairo @external func test_context(a): %{ context.setup_var = ids.a assert context.setup_var == ids.a %} return () end ``` raises ``` [FAIL] test_context 'context' is immutable (context.setup_var) Tried to...