(test
 (name run_problem)
 (libraries prover_lib alcotest)
 (deps
  sat_01.p
  sat_equality_finite_model.p
  sat_subsumption_variable_capture.p
  sat_subsumption_resolution_substitution.p
  sat_free_variable_skolem_dependency.p
  unsupported_multiple_conjectures.p
  unsat_01.p
  fof_unsat_01.p
  legacy_demodulation_proof.p
  set_bridge_seu140_shape.p))
