1. A method comprising: receiving information specifying a functional model that includes a set of variables and a set of computations, the receiving the information being performed by a device; receiving debugging information associated with the functional model, the receiving the debugging information being performed by the device; generating computer code, which includes a first type of computer code and a second type of computer code for a same portion of the functional model, based on: the set of computations associated with the functional model, the set of variables associated with the functional model, and the debugging information, the first type of computer code being in a first programming language, the second type of computer code being in a second programming language, the first programming language being different than the second programming language, the generating being performed by the device; and executing the computer code to compare a behavior of the first type of computer code to a behavior of the second type of computer code, the debugging information including a conditional break point in the functional model triggered by a difference between execution of the first type of computer code and the second type of computer code for the same portion of the functional model, the executing being performed by the device.