Skip to content
Snippets Groups Projects
Commit d343e0a2 authored by Jason Hiser's avatar Jason Hiser
Browse files

added kill_deads.rida

Former-commit-id: 3120428f08dafa1f0aa408d03ef3b4ccdf126030
parent 84c1e23a
No related branches found
Tags gt_eval
No related merge requests found
......@@ -150,6 +150,9 @@ do_tests()
kill_deads)
$PSZ $progpath $protected -c kill_deads=on --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
kill_deads.rida)
$PSZ $progpath $protected -c rida -c kill_deads=on --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
scdi)
SimpleCDI_VERBOSE=1 $PSZ $progpath $protected --backend zipr --step simple_cdi=on --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment