Merge pull request #149 from Malleek/fix-trace-token-miscalculation #461
srbaAnnotations
6 warnings
|
build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, lukka/[email protected], actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build
'__builtin_memset' specified bound between 18446744071562067968 and 18446744073709551615 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
|
|
build
'__builtin_memset' specified bound between 18446744071562067968 and 18446744073709551615 exceeds maximum object size 9223372036854775807 [-Wstringop-overflow=]
|
|
build:
src/PetriEngine/options.cpp#L289
format '%ld' expects argument of type 'long int*', but argument 3 has type 'int64_t*' {aka 'long long int*'} [-Wformat=]
|
|
build:
src/PetriEngine/options.cpp#L303
format '%ld' expects argument of type 'long int*', but argument 3 has type 'int64_t*' {aka 'long long int*'} [-Wformat=]
|
|
build:
include/LTL/SuccessorGeneration/SpoolingSuccessorGenerator.h#L47
'*((void*)(&<anonymous>)+8).LTL::SpoolingSuccessorGenerator::successor_info_t::_transition' may be used uninitialized in this function [-Wmaybe-uninitialized]
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
verifypn-osx64
Expired
|
9.79 MB |
|