cbmc: mark as broken on aarch64-linux

Upstream issue has no respond for a month and ofborg keeps reporting this failure.
2023-01-10 22:29:53 +08:00
parent 9aa633ca8c
commit 60164ab87b
1 changed files with 2 additions and 0 deletions
@@ -78,5 +78,7 @@ stdenv.mkDerivation rec {
    license = licenses.bsdOriginal;
    maintainers = with maintainers; [ jiegec ];
    platforms = platforms.unix;
+    # https://github.com/diffblue/cbmc/issues/7423
+    broken = stdenv.isLinux && stdenv.isAarch64;
  };
 }