Community Profile

photo

hrishikesh rajurkar


Last seen: 11 meses ago Active since 2021

Statistics

  • Thankful Level 1

View badges

Content Feed

View by

Question


Polysapce code prover C justifications
Hello Members, I am running polyspace code prover R2019B for C with configuration as source code : c version :c11 compiler:gnu7...

11 meses ago | 1 answer | 0

1

answer