
add_serial_exe_and_test(wls_check_normaleqns rom main.cc "PASSED")
