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

Jump to bottom

Pb/model based testing #19913

Draft
wants to merge 51 commits into
base: main
Choose a base branch
from
Draft

Pb/model based testing #19913

wants to merge 51 commits into from

Conversation

paulbrauner-da
Copy link
Contributor

No description provided.

@paulbrauner-da
first working prototype
8ac9629
@paulbrauner-da
run against actual canton
273cb28
@paulbrauner-da
refactoring
4cf149f
@paulbrauner-da
rework errors
7ac30b3
@paulbrauner-da
extract projections from canton
c5f9a4e
@paulbrauner-da
add a proper projection datatype
2f8fceb
@paulbrauner-da
refactor ToProjection
1105ade
@paulbrauner-da
compute projections from the IDE ledger
23ec022
@paulbrauner-da
hide the two runners behind an interface, compare projections
fd600bd
@paulbrauner-da
implementation of FEAT in scala
3b537fd
@paulbrauner-da
add ledger skeleton enumerations
6f7fbd4
@paulbrauner-da
add a 'fixer' for ledgers
3a16f4b
@paulbrauner-da
print ledgers in scala syntax before exiting when finding a bug
e2da9a4
@paulbrauner-da
introduce skeletons
b4dfa05
@paulbrauner-da
add symbolic solver
5310088
@paulbrauner-da
remove warnings
bda97a9
@paulbrauner-da
add random hash function to symbolic solver
6fbe630
@paulbrauner-da
split parties into participants, disjoint for now
5849521
@paulbrauner-da
Add scenarios to skeletons
27f8556
@paulbrauner-da
generate toplogies using z3
2f2a557
@paulbrauner-da
use z3 to also validate concrete ledgers
4fe3ae3
@paulbrauner-da
allow for parallel execution of tests
04c55fc
@paulbrauner-da
properly wait for party propagation
e959748
@paulbrauner-da
prepare the interpreter for party replication
961e751
@paulbrauner-da
implement party replication
a45b610
@paulbrauner-da
compare all projections
a25eb12
@paulbrauner-da
no longer generate disjoint sets in the fixer
e88c457
@paulbrauner-da
add keys to the symbolic solver
52b7077
@paulbrauner-da
update commented out code
b2842c8
@paulbrauner-da
add lookupbykey, symbolic solver only
6c8e8ab
@paulbrauner-da
assert lookup by keys
1e6be5c
@paulbrauner-da
add FetchByKey
c7d151f
@paulbrauner-da
simplify validity checker and add shrinking
4b130dd
@paulbrauner-da
add support for disclosure, but can't fetch disclosures in some cases
8dc8840
@paulbrauner-da
make shrinking work much better
e7a1307
@paulbrauner-da
fix disclosure
a242977
@paulbrauner-da
parser
7228978
@paulbrauner-da
initial support for upgrades
e7f2ec5
@paulbrauner-da
introduce proper support for upgrades but something's broken
0039c7c
@paulbrauner-da
mark dars as upgrading the previous one
b768512
@paulbrauner-da
found an upgrade bug
e7cf445
@paulbrauner-da
improve the hash function in the symbolic solver
34fef5f
@paulbrauner-da
fix build after rebase
54825e2
@paulbrauner-da
remove obsolete and wrong comment
9ecb9e5
@paulbrauner-da
fix build after rebase
43aa24c
@paulbrauner-da
add package list to participant but no constraint or interpretation yet
a3d72e4
@paulbrauner-da
add constraints for package lists
a593069
@paulbrauner-da
make it compile again after rebase
3b96962
@paulbrauner-da
add script to run canton
08231a2
@paulbrauner-da paulbrauner-da force-pushed the pb/model-based-testing branch 2 times, most recently from 45ee285 to 38d8246 Compare October 23, 2024 08:17
@paulbrauner-da
Fix build after rebase.
2d9103f 
Some of the transactions with disclosures now fail with a trailing none
error.
@paulbrauner-da
quick fix for disclosures, needs porting
f1c7112
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@paulbrauner-da