diff options
author | Guillaume Girol <symphorien+git@xlumurb.eu> | 2024-04-03 12:00:00 +0000 |
---|---|---|
committer | Guillaume Girol <symphorien+git@xlumurb.eu> | 2024-04-03 12:00:00 +0000 |
commit | 5847c4078d299b88d8e4c27843a6ec4ac9aad1c6 (patch) | |
tree | fbf318d85601f9d7f86a8fba7e5ed6a82238727a /pkgs/applications/science/logic | |
parent | 71096455f0632ef6c6f60b3e1a51b77afe8b813c (diff) |
bitwuzla: test on aarch64-linux
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/bitwuzla/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/bitwuzla/default.nix b/pkgs/applications/science/logic/bitwuzla/default.nix index c46ecb290520f..1fa78849db6e8 100644 --- a/pkgs/applications/science/logic/bitwuzla/default.nix +++ b/pkgs/applications/science/logic/bitwuzla/default.nix @@ -58,8 +58,8 @@ stdenv.mkDerivation (finalAttrs: { nativeCheckInputs = [ python3 ]; checkInputs = [ gtest ]; - # two tests fail on darwin and 3 on aarch64-linux - doCheck = stdenv.hostPlatform.isLinux && (!stdenv.hostPlatform.isAarch64); + # two tests fail on darwin + doCheck = stdenv.hostPlatform.isLinux; meta = { description = "A SMT solver for fixed-size bit-vectors, floating-point arithmetic, arrays, and uninterpreted functions"; |