Cory Mohling

Last seen: casi 4 años hace | Con actividad desde 2017

Followers: 0 Following: 0

Contacto

Estadísticas

Feeds

Pregunta

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...

casi 4 años hace | 1 respuesta | 0

1

respuesta

Pregunta

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...

más de 5 años hace | 0 respuestas | 0

0

respuestas

Respondida
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...

más de 5 años hace | 0

| aceptada

Pregunta

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...

más de 5 años hace | 1 respuesta | 0

1

respuesta

Respondida
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...

más de 6 años hace | 0

| aceptada

Pregunta

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...

más de 6 años hace | 1 respuesta | 0

1

respuesta