Debug x86 8.0.30703 2.0 {f2ff4b3a-2fe8-474a-88df-6950f7d78908} Exe Language Jennisys v4.0 Client Language true full false false bin\Debug\ DEBUG;TRACE 3 x86 bin\Debug\Language.XML examples/oopsla12/IntSet.jen /method:IntSet.Singleton C:\boogie\Jennisys\Jennisys\ pdbonly true true bin\Release\ TRACE 3 x86 bin\Release\Language.XML 11 $(IntermediateOutputPath) $(IntermediateOutputPath) false Parser.fs false Lexer.fs --module Parser --unicode Model {acef88d5-dadd-46da-bae1-2144d63f4c83} True