Skip to content

Error running modes

Running the command ./modest modes PrinsesMarijkeComplex.modest -E "TIME_BOUND=64" -M NonlinearSHA -J 1 -N 1 -T --int DormandPrince54 "infinity=10" results in the following error PrinsesMarijkeComplex.modest:

Exception has occurred: CLR/System.TypeInitializationException

  • An exception of type 'System.TypeInitializationException' occurred in IKVM.OpenJDK.Core.dll but was not handled in user code: 'The type initializer for 'IntegerCache' threw an exception.'

Inner exceptions found, see $exception in variables window for more details. Innermost exception System.IO.FileNotFoundException : Could not load file or assembly 'System.Configuration.ConfigurationManager,

  • Version=0.0.0.0, Culture=neutral, PublicKeyToken=cc7b13ffcd2ddd51'. The system cannot find the file specified.

    at java.lang.VMSystemProperties.initProperties(Properties ) at java.lang.Props..cctor()