test_arguments_cvc5.xml

<Configuration>

  <ArgumentGroup>
    <arg>-solver cvc5</arg>
  </ArgumentGroup>
  
  <ArgumentGroup>
    <arg></arg>
    <arg>-no_k_induction -no_bmc -no_inv_gen</arg>
    <arg>-no_k_induction</arg>
    <arg>-pdr_max 0</arg>
    <arg>-no_bmc</arg>
    <arg>-no_inv_gen</arg>
    <arg>-induct_cex</arg>
    <arg>-no_k_induction -no_bmc -no_inv_gen -induct_cex</arg>
  </ArgumentGroup>

  <ArgumentGroup>
    <arg>-timeout 50</arg>
  </ArgumentGroup>

</Configuration>