Community Profile

photo

Cory Mohling


Last seen: 3 maanden ago
6 total contributions since 2017

Contact

Contributions in
View by

Question


Generate Parameters as input to step function
I'm not even sure if this is possible anymore. I was working on migrating some matlab models/autogenerated code from 2009->2019a...

3 maanden ago | 1 answer | 0

1

answer

Question


Update Polyspace DRS from a script
I would like to populate range data for my DRS file from a text file. I know there is a way to import a drs file from a text fil...

meer dan een jaar ago | 0 answers | 0

0

answers

Answered
How do i save past code prover results 2018a?
Oh finally found it. There is a drop down menu from the top under 'Run Code Prover' that has an option to create a new results f...

meer dan een jaar ago | 0

| accepted

Question


How do i save past code prover results 2018a?
I have used polyspace code prover in 2014b and 2016b. I'm trying to use 2018a now and I don't seem to see how to generate result...

meer dan een jaar ago | 1 answer | 0

1

answer

Answered
How to find a source block that goes through a goto/from block?
I have a work around that I can get by with. I temporarily turn on signalPropagation and get the name from that. lh = get_par...

ongeveer 3 jaar ago | 0

| accepted

Question


How to find a source block that goes through a goto/from block?
I am trying to write a script that will list out all elements on a bus that are consumed within a model. To do this, I used find...

ongeveer 3 jaar ago | 1 answer | 0

1

answer