Skip to content

Commit

Permalink
Mark failing test as expected to fail
Browse files Browse the repository at this point in the history
  • Loading branch information
0152la committed Jan 12, 2022
1 parent e086f4c commit d852147
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/run_tests.sh
Original file line number Diff line number Diff line change
Expand Up @@ -62,7 +62,7 @@ function run {
# Tests that should fail
run to_fail hybrid/ddc_compartment_switching ddc_compartment_switching_nok
run to_fail hybrid ddc_invalid ddc_null
run OK hybrid/compartment_examples/inter_comp_call/secure-try_deref main
run to_fail hybrid/compartment_examples/inter_comp_call/secure-try_deref main
# Tests that should pass
run OK hybrid/ddc_compartment_switching ddc_compartment_switching
run OK hybrid basic_ddc
Expand Down

0 comments on commit d852147

Please sign in to comment.