tlaplus/tlaplus#1173 and tlaplus/tlaplus#1174 introduce two new warnings. These warnings are not recognized by our VSCode extension.

[Feature]

Signed-off-by: Markus Alexander Kuppe <[email protected]>

Author: lemmy

src/parsers/tlcCodes.ts

@@ -234,6 +234,8 @@ export const TLC_LIVE_STATE_PREDICATE_NON_BOOL = registerCode(2250, TlcCodeType.
 export const TLC_LIVE_CANNOT_EVAL_FORMULA = registerCode(2251, TlcCodeType.Error);
 export const TLC_LIVE_ENCOUNTERED_NONBOOL_PREDICATE = registerCode(2252, TlcCodeType.Error);
 export const TLC_LIVE_FORMULA_TAUTOLOGY = registerCode(2253, TlcCodeType.Error);
+export const TLC_LIVE_FORMULA_STATE_LEVEL = registerCode(2255, TlcCodeType.Warning);
+export const TLC_CONFIG_NO_SPEC_BUT_PROPERTY = registerCode(2257, TlcCodeType.Warning);
 
 export const TLC_EXPECTED_VALUE = registerCode(2215, TlcCodeType.Error);
 export const TLC_EXPECTED_EXPRESSION = registerCode(2246, TlcCodeType.Error);