add default that captures P's proof obligations · p-org/P@74999b4

The type or namespace name 'PRuntime' does not exist in the namespace 'PChecker' (are you missing an assembly reference?)

The type or namespace name 'PRuntime' does not exist in the namespace 'PChecker' (are you missing an assembly reference?)

The type or namespace name 'PRuntime' does not exist in the namespace 'PChecker' (are you missing an assembly reference?)

The type or namespace name 'PrtInt' could not be found (are you missing a using directive or an assembly reference?)

The type or namespace name 'PMachine' could not be found (are you missing a using directive or an assembly reference?)

The type or namespace name 'PrtNamedTuple' could not be found (are you missing a using directive or an assembly reference?)

The type or namespace name 'PRuntime' does not exist in the namespace 'PChecker' (are you missing an assembly reference?)

The type or namespace name 'PRuntime' does not exist in the namespace 'PChecker' (are you missing an assembly reference?)

The type or namespace name 'PRuntime' does not exist in the namespace 'PChecker' (are you missing an assembly reference?)

The type or namespace name 'PrtInt' could not be found (are you missing a using directive or an assembly reference?)

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-dotnet@v1, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v1, actions/setup-java@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Provide feedback