Skip to content

Commit

Permalink
alive2-aslp: disable run-arm-tv.pl test
Browse files Browse the repository at this point in the history
problems on macos and it didnt do much anyway

[skip ci]
  • Loading branch information
katrinafyi committed Nov 29, 2024
1 parent b05e05d commit e3a3f2a
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions llvm-translator/alive2-aslp.nix
Original file line number Diff line number Diff line change
Expand Up @@ -62,11 +62,11 @@
'';
};

passthru.tests.run-arm-tv = runCommand "test-run-arm-tv" {} ''
rm -rfv logs logs-aslp
set +o pipefail
${alive2-aslp.arm-tv-scripts}/bin/run-arm-tv.pl 2>&1 | tee /dev/stderr | grep 'please specify'
touch $out
'';
# passthru.tests.run-arm-tv = runCommand "test-run-arm-tv" {} ''
# rm -rfv logs logs-aslp
# set +o pipefail
# ${alive2-aslp.arm-tv-scripts}/bin/run-arm-tv.pl 2>&1 | tee /dev/stderr | grep 'please specify'
# touch $out
# '';

})

0 comments on commit e3a3f2a

Please sign in to comment.