Skip to content
Tutorials

[PEx] Minor: correct defaults in help menu #1205

Sign in to view logs

[PEx] Minor: correct defaults in help menu

[PEx] Minor: correct defaults in help menu #1205

Triggered via push January 16, 2025 18:09
@aman-goelaman-goel
pushed 1a65fa5
dev/pexplicit_checker
Status Failure
Total duration 1m 1s
Artifacts –

tutorials.yml

on: push
Build-MacOS
51s
Build-MacOS
Fit to window
Zoom out
Zoom in

Annotations

10 errors
Build-MacOS: Tutorial/2_TwoPhaseCommit/PForeign/ForeignCode.cs#L6
The type or namespace name 'PRuntime' does not exist in the namespace 'PChecker' (are you missing an assembly reference?)
Build-MacOS: Tutorial/2_TwoPhaseCommit/PForeign/ForeignCode.cs#L7
The type or namespace name 'PRuntime' does not exist in the namespace 'PChecker' (are you missing an assembly reference?)
Build-MacOS: Tutorial/2_TwoPhaseCommit/PForeign/ForeignCode.cs#L8
The type or namespace name 'PRuntime' does not exist in the namespace 'PChecker' (are you missing an assembly reference?)
Build-MacOS: Tutorial/2_TwoPhaseCommit/PForeign/ForeignCode.cs#L17
The type or namespace name 'PrtInt' could not be found (are you missing a using directive or an assembly reference?)
Build-MacOS: Tutorial/2_TwoPhaseCommit/PForeign/ForeignCode.cs#L17
The type or namespace name 'PMachine' could not be found (are you missing a using directive or an assembly reference?)
Build-MacOS: Tutorial/2_TwoPhaseCommit/PForeign/ForeignCode.cs#L17
The type or namespace name 'PrtNamedTuple' could not be found (are you missing a using directive or an assembly reference?)
Build-MacOS: Tutorial/2_TwoPhaseCommit/PForeign/ForeignCode.cs#L6
The type or namespace name 'PRuntime' does not exist in the namespace 'PChecker' (are you missing an assembly reference?)
Build-MacOS: Tutorial/2_TwoPhaseCommit/PForeign/ForeignCode.cs#L7
The type or namespace name 'PRuntime' does not exist in the namespace 'PChecker' (are you missing an assembly reference?)
Build-MacOS: Tutorial/2_TwoPhaseCommit/PForeign/ForeignCode.cs#L8
The type or namespace name 'PRuntime' does not exist in the namespace 'PChecker' (are you missing an assembly reference?)
Build-MacOS: Tutorial/2_TwoPhaseCommit/PForeign/ForeignCode.cs#L17
The type or namespace name 'PrtInt' could not be found (are you missing a using directive or an assembly reference?)