diff --git a/src/v2/test/claim/execution/emit_host_shell_exec_run_equals_eval_test.dag b/src/v2/test/claim/execution/emit_host_shell_exec_run_equals_eval_test.dag index 634f75732ad..f6c42802729 100644 --- a/src/v2/test/claim/execution/emit_host_shell_exec_run_equals_eval_test.dag +++ b/src/v2/test/claim/execution/emit_host_shell_exec_run_equals_eval_test.dag @@ -40,9 +40,7 @@ fn shell_exec_run_witness_argv() -> List { data shell_exec_run_witness_workspace: String = "/tmp/gunbc_emit_on_demand_shell_exec_run/witness" fn shell_exec_run_eval_expected_octet() -> Int { - if length(xs: shell_exec_run_witness_argv()) == 2 - && shell_exec_run_witness_argv().skip(n: 0).first() == "bash" - && shell_exec_run_witness_argv().skip(n: 1).first() == "-s" { 1 } else { 0 } + if shell_exec_run_witness_argv() == ["bash", "-s"] { 1 } else { 0 } } fn shell_exec_run_native_source() -> Medium {