-
Notifications
You must be signed in to change notification settings - Fork 86
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.
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
Tune tx trace spec #1695
base: master
Are you sure you want to change the base?
Tune tx trace spec #1695
Commits on Oct 27, 2024
-
Add coverage to prop_runActions
This will ensure we have good coverage of the actual model test later. For now, the efficiency is way to low to checkCoverage on it too (it would go up to 6400 tests like prop_traces).
Configuration menu - View commit details
-
Copy full SHA for ad0715a - Browse repository at this point
Copy the full SHA ad0715aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 523e2a1 - Browse repository at this point
Copy the full SHA 523e2a1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 85405f3 - Browse repository at this point
Copy the full SHA 85405f3View commit details -
Changing the way we generate actions will help in guiding the generators based on "what an honest node would approve" and reduce discarded values / improve coverage.
Configuration menu - View commit details
-
Copy full SHA for 495ae2e - Browse repository at this point
Copy the full SHA 495ae2eView commit details -
Configuration menu - View commit details
-
Copy full SHA for a3f63da - Browse repository at this point
Copy the full SHA a3f63daView commit details -
Only use existing genSnapshot when producing new snapshots
Otherwise we simpliy pick from the models knownSnapshots
Configuration menu - View commit details
-
Copy full SHA for 7e7003b - Browse repository at this point
Copy the full SHA 7e7003bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 20913ca - Browse repository at this point
Copy the full SHA 20913caView commit details -
Revert "Only keep knownSnapshots and derive latest version / number f…
…rom it" This reverts commit b92f051.
Configuration menu - View commit details
-
Copy full SHA for bd42c46 - Browse repository at this point
Copy the full SHA bd42c46View commit details -
Configuration menu - View commit details
-
Copy full SHA for 31b614f - Browse repository at this point
Copy the full SHA 31b614fView commit details -
Allow for decrement with empty utxo to decommit
The decrement validator allows for this and consequently this is a possible scenario: An adversary can construct decrement transactions with any snapshot we signed.
Configuration menu - View commit details
-
Copy full SHA for 8b03153 - Browse repository at this point
Copy the full SHA 8b03153View commit details -
Generate Nothing if realWorldModelUTxO is empty
This is more consistent with what the off-chain code does.
Configuration menu - View commit details
-
Copy full SHA for 9c6da41 - Browse repository at this point
Copy the full SHA 9c6da41View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1280f85 - Browse repository at this point
Copy the full SHA 1280f85View commit details -
Configuration menu - View commit details
-
Copy full SHA for 272268b - Browse repository at this point
Copy the full SHA 272268bView commit details -
Make negative decrements fail gracefully
Also disables some preconditions to decide whether we want to test this.
Configuration menu - View commit details
-
Copy full SHA for 3d6ae8f - Browse repository at this point
Copy the full SHA 3d6ae8fView commit details -
Fix excessive discarding by generating better snapshots
This also makes the output easier to read and removes several preconditions as we now expect construction to fail if we try to decrement too much.
Configuration menu - View commit details
-
Copy full SHA for f8312ae - Browse repository at this point
Copy the full SHA f8312aeView commit details -
Configuration menu - View commit details
-
Copy full SHA for cdebb64 - Browse repository at this point
Copy the full SHA cdebb64View commit details -
Model toDecommit evolution as we would expect it
This is reusing the models pendingDecommit for this purpose. However, it would be cleaner to separate the model states between Open and Closed.
Configuration menu - View commit details
-
Copy full SHA for d105327 - Browse repository at this point
Copy the full SHA d105327View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3a150cd - Browse repository at this point
Copy the full SHA 3a150cdView commit details -
It is a list of A-E elements only where shuffling of the elements represents off-chain transactions that maintain balance.
Configuration menu - View commit details
-
Copy full SHA for d96d55c - Browse repository at this point
Copy the full SHA d96d55cView commit details -
Configuration menu - View commit details
-
Copy full SHA for ea603b9 - Browse repository at this point
Copy the full SHA ea603b9View commit details -
Enable coverage check on main property
Using lower Confidence values, we should not see way very long tests at the cost of occasional false positives. In such cases, the actual coverage numbers and "interesting values" test should give an indication whether it was rightfully failing or would have taken just very long.
Configuration menu - View commit details
-
Copy full SHA for 461282e - Browse repository at this point
Copy the full SHA 461282eView commit details