name: "csharp" display_name: "C#" version: 1.22.1 column_kind: "utf16" extra_env_vars: DOTNET_GENERATE_ASPNET_CERTIFICATE: "false" file_types: - name: cs display_name: C# sources extensions: - .cs legacy_qltest_extraction: true options: trap: title: Options pertaining to TRAP. type: object properties: compression: title: Controls compression for the TRAP files written by the extractor. description: > This option is only intended for use in debugging the extractor. Accepted values are 'brotli' (the default, to write brotli-compressed TRAP), 'gzip', and 'none' (to write uncompressed TRAP). type: string pattern: "^(none|gzip|brotli)$" buildless: title: Whether to use buildless (standalone) extraction. description: > A value indicating, which type of extraction the autobuilder should perform. If 'true', then the standalone extractor will be used, otherwise tracing extraction will be performed. The default is 'false'. Note that buildless extraction will generally yield less accurate analysis results, and should only be used in cases where it is not possible to build the code (for example if it uses inaccessible dependencies). type: string pattern: "^(false|true)$" cil: title: Whether to enable CIL extraction. description: > A value indicating, whether CIL extraction should be enabled. The default is 'true'. type: string pattern: "^(false|true)$"