Currently the python code sent to the flight computer is not checked in the control server beforehand. It does not need to be complex, and thus we can define wait etc to be dummy functions on the control server and execute the code with the interpreter. We could also look for a static checker if one with suitable capabilities exists. We don't need a perfect solution because the halting problem exists and sequences aren't ever complex. Just get a solution that catches most basic errors.
Currently the python code sent to the flight computer is not checked in the control server beforehand. It does not need to be complex, and thus we can define wait etc to be dummy functions on the control server and execute the code with the interpreter. We could also look for a static checker if one with suitable capabilities exists. We don't need a perfect solution because the halting problem exists and sequences aren't ever complex. Just get a solution that catches most basic errors.