Community Profile

photo

Karpakam Subramanian


Last seen: alrededor de 1 año ago Active since 2020

Statistics

Content Feed

View by

Answered
polyspace code prover: cosmic compiler issue
Hello Anirban, Thank you for the suggestion. Will try the solution provided , thanks.

alrededor de 1 año ago | 0

Question


polyspace code prover: cosmic compiler issue
Hello All, Polyspace does not recognize the "if" construct for cosmic compiler. Is there a workaround for this issue? Error: ...

alrededor de 1 año ago | 2 answers | 0

2

answers