David Jaffry
MathWorks
Followers: 0 Following: 0
I am a MathWorks consultant:
http://www.mathworks.com/services/consulting/meet-our-team/index.html#david_jaffry
Feeds
已回答
Polyspace Test xUnit tests fails to compile: fatal error: gtest/gtest.h
Hello, The main issue was actually adding the GTest test under "Polyspace xUnit Test" instead of "External Test Files". The Ex...
Polyspace Test xUnit tests fails to compile: fatal error: gtest/gtest.h
Hello, The main issue was actually adding the GTest test under "Polyspace xUnit Test" instead of "External Test Files". The Ex...
7 months 前 | 1
已提交
Color Model from PolySpace Verification
The tool colors Simulink Model using PolySpace code verification.
9 years 前 | 1 次下载 |
已提交
Generate Checks Report
This tool generates Checks report(XML & CSV format) from C and C++ PolySpace® Results.
15 years 前 | 1 次下载 |
