Commit 5847c407 authored by Guillaume Girol's avatar Guillaume Girol
Browse files

bitwuzla: test on aarch64-linux

parent 71096455

pkgs/applications/science/logic/bitwuzla/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -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";