use zero fuel in triggers #11337
Annotations
1 error and 4 warnings
|
Check OnlineTutorial examples
Process completed with exit code 1.
|
|
Build Dafny:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L30
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
Build Dafny:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L37
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
Build Dafny:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L30
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
Build Dafny:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L37
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
Loading