Integrating diagnostic information with boolean constraints

A method, comprising:

• receiving code generated via a technical computing environment (TCE), the code including one or more values to be tested, the receiving the code being performed by one or more devices;
• receiving Boolean constraints, Boolean logic, and diagnostic information, the receiving the Boolean constraints, the Boolean logic, and the diagnostic being performed by the one or more devices;
• generate a test based on the Boolean constraints, the Boolean logic, and the diagnostic information, the generating being performed by the one or more devices;
• perform the test on the one or more values of the code to generate a result, the performing the test being performed by the one or more devices;
• and
• outputting or storing the result, the outputting or the storing being performed by the one or more devices.

One or more computer-readable media, comprising:

• one or more instructions that, when executed by a processor of a device, cause the processor to:
• receive code generated via a technical computing environment (TCE), the code including one or more values to be tested,
• receive Boolean constraints, Boolean logic, and diagnostic information,
• generate a test based on the Boolean constraints, the Boolean logic, 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.