1. A device comprising: one or more processors to: receive code generated via a technical computing environment (TCE), the code including one or more values to be tested, receive Boolean constraints and diagnostic information, generate a test based on the Boolean constraints and the diagnostic information, perform the test on the one or more values of the code to generate a result, and output or store the result.