"src/main/scala/leon/LeonExceptions.scala" did not exist on "3cb6d843d1f984ee2cc4b6420f53d61076bb9c06"
-
Manos Koukoutos authored
- Command line option definitions are now represented by a type parametric class. - Components can declare legal option definitions. - Options are parsed according to those definitions in Main, and stored in LeonContext. - Components can then retrieve back the options from LeonContext. This is not perfect, as it requires some type casts. - leon.Settings only contained redundant information and has been removed. - Unused options from SynthesisSettings have been removed.
Manos Koukoutos authored- Command line option definitions are now represented by a type parametric class. - Components can declare legal option definitions. - Options are parsed according to those definitions in Main, and stored in LeonContext. - Components can then retrieve back the options from LeonContext. This is not perfect, as it requires some type casts. - leon.Settings only contained redundant information and has been removed. - Unused options from SynthesisSettings have been removed.