| 484 | } |
| 485 | |
| 486 | std::optional<Json> checkSettingsKeys(Json const& _input) |
| 487 | { |
| 488 | static std::set<std::string> keys{"debug", "evmVersion", "experimental", "eofVersion", "libraries", "metadata", "modelChecker", "optimizer", "outputSelection", "remappings", "stopAfter", "viaIR", "viaSSACFG"}; |
| 489 | return checkKeys(_input, keys, "settings"); |
| 490 | } |
| 491 | |
| 492 | std::optional<Json> checkModelCheckerSettingsKeys(Json const& _input) |
| 493 | { |