Products
Support
Company
News
FAQ
Contact
Careers
Login
Product Independent
Index
General
Getting Help
Problems Starting Reactis
Problems Running Reactis
Reactis License Manager
Licensing Issues
Reactis for Simulink
Index
General
Installing Reactis
Loading Models in Reactis
Reactis Simulator
Reactis Tester
Reactis Validator
Importing/Exporting Tests
Running Tests in Simulink
Reactis for C
Index
General
Installing Reactis for C
FAQ: Reactis for C
General
What is Reactis for C?
What version(s) of C does Reactis for C support?
How do I bring code into Reactis for C?
What kinds of errors does Reactis for C detect?
Is Reactis for C a static analysis tool?
Does Reactis for C detect errors during floating-point operations?
My program runs fine normally, but under Reactis for C I keep getting a memory error. Is this a bug in Reactis for C?
What is the difference between Reactis for C and Reactis for C Plugin?
Does Reactis for C work with Simulink S-functions or Stateflow custom code?
What machine architectures does Reactis for C support?
What is the difference between the 32-bit and 64-bit versions of Reactis for C?
Which C compilers work with Reactis for C?
Can I use object files, DLLs, or other binary code with Reactis for C?
Can I use a different version of stdio.h instead of the one provided by Reactis for C?
Installing Reactis for C
How much disk space do I need to install Reactis for C?
How do I install Reactis for C under Microsoft Windows?
What is a ``License Manager''?
Why do I need to send my license file to Reactive Systems before I can run Reactis for C?
Can I install multiple versions of Reactis on the same machine?