Skip to content
What4 CI

SMTLib2: only send exit command if solver process is active #1064

Sign in to view logs

SMTLib2: only send exit command if solver process is active

SMTLib2: only send exit command if solver process is active #1064

Triggered via push February 26, 2025 01:07
@danmatichukdanmatichuk
pushed 41c395d
dm/timeout-fix
Status Success
Total duration 28m 48s
Artifacts –

test.yml

on: push
genmatrix
54s
genmatrix
Matrix: linux
Fit to window
Zoom out
Zoom in

Annotations

28 warnings
genmatrix
The `save-state` 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/
genmatrix
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/
GHC-9.2.2 Z3-4_8_10 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
The `save-state` 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/
GHC-9.2.2 Z3-4_8_8 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
GHC-9.2.2 Z3-4_8_8 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
Cache save failed.
GHC-9.2.2 Z3-4_8_8 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
The `save-state` 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/
GHC-9.2.2 Z3-4_8_13 Yices-2_6 CVC4-1_8 CVC5-1_1_2 STP-2_3_2 Bitwuzla-0_3_0 Boolector-3_2_1 ABC-2020_06_22 ubuntu-latest
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
GHC-9.2.2 Z3-4_8_13 Yices-2_6 CVC4-1_8 CVC5-1_1_2 STP-2_3_2 Bitwuzla-0_3_0 Boolector-3_2_1 ABC-2020_06_22 ubuntu-latest
Cache save failed.
GHC-9.2.2 Z3-4_8_13 Yices-2_6 CVC4-1_8 CVC5-1_1_2 STP-2_3_2 Bitwuzla-0_3_0 Boolector-3_2_1 ABC-2020_06_22 ubuntu-latest
The `save-state` 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/
GHC-9.2.2 Z3-4_8_9 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
The `save-state` 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/
GHC-9.2.2 Z3-4_8_9 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
GHC-9.2.2 Z3-4_8_9 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
Cache save failed.
GHC-9.2.2 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
GHC-9.2.2 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
Cache save failed.
GHC-9.2.2 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
The `save-state` 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/
GHC-9.2.2 Z3-4_8_12 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
GHC-9.2.2 Z3-4_8_12 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
Cache save failed.
GHC-9.2.2 Z3-4_8_12 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
The `save-state` 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/
GHC-8.8.4 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
The `save-state` 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/
GHC-9.2.2 Z3-4_8_11 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
GHC-9.2.2 Z3-4_8_11 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
Cache save failed.
GHC-9.2.2 Z3-4_8_11 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
The `save-state` 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/
GHC-8.10.7 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
The `save-state` 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/
GHC-9.8.1 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
The `save-state` 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/
GHC-9.6.2 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
The `save-state` 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/
GHC-9.4.4 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
The `save-state` 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/
GHC-9.10.1 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
The `save-state` 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/
GHC-9.0.2 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
The `save-state` 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/