
add_serial_exe_and_test(preconditioned_lspg_correctness_discrete_time_api rom main.cc "PASSED")
