Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: property based testing of methods of map of all basic types (messages and structs are not supported for now) #1839

Open
wants to merge 19 commits into
base: main
Choose a base branch
from
Open

feat: property based testing of methods of map of all basic types (messages and structs are not supported for now) #1839

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
3c8b6a2
feat: property based test of 'set' method om map<Int, Int>
Mell0r Feb 14, 2025
c338dfe
Merge branch 'main' into property-based-map-testing
Mell0r Feb 17, 2025
c86ec68
Merge branch 'main' into property-based-map-testing
Mell0r Feb 18, 2025
71db097
feat: added tests for map methods exists, del, get, emptyMap
Mell0r Feb 18, 2025
bfeafc8
Merge branch 'main' into property-based-map-testing
anton-trunov Mar 2, 2025
24e3e36
Merge branch 'main' into property-based-map-testing
anton-trunov Mar 2, 2025
a9a3cf5
feat: all tests are now generated, added almost all supported types e…
Mell0r Mar 3, 2025
6957aaf
Merge branch 'main' into property-based-map-testing
Mell0r Mar 3, 2025
467d42b
fix: wrong map generate command in package.json
Mell0r Mar 3, 2025
49e2f54
feat: added remaining types: int with small serialization (with crutc…
Mell0r Mar 3, 2025
619e86f
fix: typo
Mell0r Mar 3, 2025
39bb90d
Merge branch 'main' into property-based-map-testing
jeshecdom Mar 26, 2025
b092f38
refactor: first part of porting finished: construction of modules and…
jeshecdom Mar 28, 2025
0d1f83d
Merge branch 'main' into property-based-map-testing
jeshecdom Mar 31, 2025
9d9a4de
tests: second part of porting finished. Now contracts are tested in s…
jeshecdom Apr 1, 2025
dfd0a8d
chore: remove gitignore entries.
jeshecdom Apr 1, 2025
f5f563e
Merge branch 'main' into property-based-map-testing
jeshecdom Apr 1, 2025
d1b9525
fix: small fixes after merge.
jeshecdom Apr 1, 2025
38313e8
refactor: removed the use of "any" type by using existential types.
jeshecdom Apr 3, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions cspell.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -53,6 +53,7 @@
"src/test/exit-codes/contracts/compute-phase-errors.tact",
"src/test/e2e-emulated/map-property-tests/map-properties-key-value-types.ts",
"src/test/e2e-emulated/map-property-tests/build",
"src/test/e2e-emulated/map-property-tests/fuzzing/minimal-fc-stdlib/stdlib.fc",
"/docs",
"src/benchmarks/contracts/func/notcoin/stdlib-custom.fc",
"src/benchmarks/contracts/func/notcoin/gas.fc"
Expand Down
1 change: 1 addition & 0 deletions package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,7 @@
"gen:contracts:test:map": "ts-node ./src/test/e2e-emulated/map-property-tests/generate.ts",
"gen:contracts:all": "yarn gen:contracts:examples && yarn gen:contracts:test && yarn gen:contracts:benchmarks && yarn gen:contracts:test:map",
"gen": "yarn gen:grammar && yarn gen:stdlib && yarn gen:func-js && yarn gen:contracts:all",
"fuzz:map:functions": "ts-node ./src/test/e2e-emulated/map-property-tests/fuzzing/fuzz-map-functions.ts",
"clean": "rm -fr dist",
"cleanall": "rm -fr dist node_modules",
"copy:stdlib": "ts-node src/stdlib/copy.build.ts",
Expand Down
Loading
Loading