Closed rpl-ffl closed 5 months ago
This PR should now be closed as redundant and is replaced by the following 3 different issues:
State validation during simulation and post-simulation (config & implementation) - Only dummy config is added at this point https://github.com/Fantom-foundation/Norma/issues/203
RPC as a type for application (config & implementation) https://github.com/Fantom-foundation/Norma/issues/204
Clean up - redundant configuration (feature config from Node, NumValidator config from Scenario) https://github.com/Fantom-foundation/Norma/issues/205
Miscellaneous changes as found here: https://github.com/Fantom-foundation/Norma/issues/190
validate
config to Scenario - a boolean indicating if we want to validate certain properties at the end of the runRPC
type as an option toapplication
.type
feature
config fromNode
- not used.NumValidator
config fromScenario
- to be done after a validator can be added dynamically.