
add_serial_exe_and_test(discrete_lspg_correctness_discrete_time_api rom main.cc "PASSED")
