Delete test/respectPreAmounts.gobra #272
Annotations
12 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Verify chopped Gobra files
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Test that timeout reports an error
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Verify Gobra files without moreCompleteExhale and with parallelizeBranches
Unexpected input(s) 'mceMde', valid inputs are ['entryPoint', 'args', 'caching', 'projectLocation', 'includePaths', 'files', 'packages', 'excludePackages', 'recursive', 'respectFunctionPrePermAmounts', 'overflow', 'chop', 'viperBackend', 'javaXss', 'javaXmx', 'timeout', 'imageName', 'imageVersion', 'headerOnly', 'module', 'assumeInjectivityOnInhale', 'checkConsistency', 'mceMode', 'parallelizeBranches', 'requireTriggers', 'conditionalizePermissions', 'disableNL', 'moreJoins', 'unsafeWildcardOptimization', 'useZ3API', 'statsFile']
|
|
Verify Gobra files without moreCompleteExhale and with parallelizeBranches
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Verify Gobra files (files mode)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Verify Gobra files (recursive and headerOnly mode)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Test with option `--norespectFunctionPrePermAmounts`
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Verify Gobra files with the Z3 API
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Verify Gobra files with conditionalizePermissions (files mode)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Verify Gobra files (package mode)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Verify Gobra files (recursive mode)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Loading