Add kind-inference algorithm #642
Annotations
8 errors, 9 warnings, and 1 notice
2 out of 3 runs with error: type_enum_union.sail:
/#L0
./lem/tests.xml
|
All 2 runs with error: rv_add_0.unsat.sail:
/#L0
./smt/tests.xml
|
All 2 runs with error: rv_add_0.sat.sail:
/#L0
./smt/tests.xml
|
All 2 runs with error: rv_add_1.sat.sail:
/#L0
./smt/tests.xml
|
All 2 runs with error: rv_add_1.unsat.sail:
/#L0
./smt/tests.xml
|
All 2 runs with error: encdec.sat.sail:
/#L0
./smt/tests.xml
|
All 2 runs with error: rv_add_decode.unsat.sail:
/#L0
./smt/tests.xml
|
All 6 runs with error: overload_mapping.sail:
/#L0
./c/tests.xml
|
658 tests found
There are 658 tests, see "Raw output" for the full list of tests.
|
build (5.0.0, ubuntu-latest)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
build (4.08.1, ubuntu-latest)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
build (5.0.0, macOS-latest)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
build (5.0.0, macOS-latest)
gmp 6.3.0 is already installed and up-to-date.
To reinstall 6.3.0, run:
brew reinstall gmp
|
build (5.0.0, macOS-latest)
pkg-config 0.29.2_3 is already installed and up-to-date.
To reinstall 0.29.2_3, run:
brew reinstall pkg-config
|
build (macos-12, 4.08.1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
build (macos-12, 4.08.1)
gmp 6.3.0 is already installed and up-to-date.
To reinstall 6.3.0, run:
brew reinstall gmp
|
build (macos-12, 4.08.1)
pkg-config 0.29.2_3 is already installed and up-to-date.
To reinstall 0.29.2_3, run:
brew reinstall pkg-config
|
build (macos-12, 4.08.1)
zlib 1.3.1 is already installed and up-to-date.
To reinstall 1.3.1, run:
brew reinstall zlib
|