ci: fix address sanitizer step

This commit is contained in:
ObserverOfTime 2024-05-04 11:34:03 +03:00 committed by Amaan Qureshi
parent 6bfdae00f2
commit 572cdaa7c0
3 changed files with 10 additions and 13 deletions

View file

@ -76,10 +76,11 @@ fn test_corpus_for_json(seed: usize) {
test_language_corpus("json", seed, None, None);
}
// #[test_with_seed(retry=10, seed=*START_SEED, seed_fn=new_seed)]
// fn test_corpus_for_php(seed: usize) {
// test_language_corpus("php", seed, None, Some("php"));
// }
#[ignore]
#[test_with_seed(retry=10, seed=*START_SEED, seed_fn=new_seed)]
fn test_corpus_for_php(seed: usize) {
test_language_corpus("php", seed, None, Some("php"));
}
#[test_with_seed(retry=10, seed=*START_SEED, seed_fn=new_seed)]
fn test_corpus_for_python(seed: usize) {