add 2pc verification tutorial #2544
FedericoAurelianowindowsci.yml
on: push
Build-And-Test-Windows
1m 51s
Annotations
10 errors and 10 warnings
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Uclid5/Uclid5CodeGenerator.cs#L338
The type or namespace name 'PEvent' could not be found (are you missing a using directive or an assembly reference?)
|
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Uclid5/Uclid5CodeGenerator.cs#L697
The type or namespace name 'PEvent' could not be found (are you missing a using directive or an assembly reference?)
|
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Uclid5/Uclid5CodeGenerator.cs#L738
The type or namespace name 'PEvent' could not be found (are you missing a using directive or an assembly reference?)
|
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Uclid5/Uclid5CodeGenerator.cs#L753
The type or namespace name 'PEvent' could not be found (are you missing a using directive or an assembly reference?)
|
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Uclid5/Uclid5CodeGenerator.cs#L758
The type or namespace name 'PEvent' could not be found (are you missing a using directive or an assembly reference?)
|
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Uclid5/Uclid5CodeGenerator.cs#L763
The type or namespace name 'PEvent' could not be found (are you missing a using directive or an assembly reference?)
|
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Uclid5/Uclid5CodeGenerator.cs#L768
The type or namespace name 'PEvent' could not be found (are you missing a using directive or an assembly reference?)
|
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Uclid5/Uclid5CodeGenerator.cs#L776
The type or namespace name 'PEvent' could not be found (are you missing a using directive or an assembly reference?)
|
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Uclid5/Uclid5CodeGenerator.cs#L782
The type or namespace name 'PEvent' could not be found (are you missing a using directive or an assembly reference?)
|
|
Build-And-Test-Windows:
Src/PCompiler/CompilerCore/Backend/Uclid5/Uclid5CodeGenerator.cs#L982
The type or namespace name 'PEvent' could not be found (are you missing a using directive or an assembly reference?)
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/Coverage/TimelineObserver.cs#L16
The field 'TimelineObserver._controlledRuntimeLogImplementation' is never used
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Events/Event.cs#L16
Missing XML comment for publicly visible type or member 'Event.Event()'
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Events/Event.cs#L20
Missing XML comment for publicly visible type or member 'Event.Event(IPValue)'
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Events/Event.cs#L25
Missing XML comment for publicly visible type or member 'Event.Payload'
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Events/Event.cs#L27
Missing XML comment for publicly visible type or member 'Event.Equals(IPValue)'
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Events/Event.cs#L32
Missing XML comment for publicly visible type or member 'Event.Clone()'
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Events/Event.cs#L37
Missing XML comment for publicly visible type or member 'Event.ToDict()'
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Events/Event.cs#L42
Missing XML comment for publicly visible type or member 'Event.Equals(object)'
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Events/Event.cs#L47
Missing XML comment for publicly visible type or member 'Event.GetHashCode()'
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Events/Event.cs#L52
Missing XML comment for publicly visible type or member 'Event.ToString()'
|