Reactive Systems logo
July 20, 2018
Newsletters
Patches
 
Spacer

August 22, 2013

Dear Reactis User:

Reactis V2012.1.4

We are pleased to announce the V2012.1.4 beta release of Reactis for C. Reactis for C is a testing and validation tool targeted at embedded software developers using the C programming language.

The following bugs were fixed since V2012.1.3:

  • Fixed defect which produced a "bug: target name not recognized" message when "Simulate->Fast Run with Report" was selected for a program in which a condition target was defined entirely within a macro (#2513).
  • Removed Simulink-only coverage metrics from the "Coverage" menu (#2511).

You may download the patches or full installers from the Reactis User Pages.

Best Regards,
The Reactis Team

Spacer