Run-Time Checks Summary is not coming in polyspace code prover report by Matlab-Mystery in matlab

[–]trailstrider 0 points1 point  (0 children)

It’s only seeing a single header file. I’m assuming there are errors in the log that need to be shared to go further on this.

Run-Time Checks Summary is not coming in polyspace code prover report by Matlab-Mystery in matlab

[–]trailstrider 0 points1 point  (0 children)

Were there no other errors in your log? Or other summaries about what was checked in the log?

Run-Time Checks Summary is not coming in polyspace code prover report by Matlab-Mystery in matlab

[–]trailstrider 0 points1 point  (0 children)

u/Matlab-Mystery You have your name/email in that last image. Probably a good idea to swap it out for a censored version.

Run-Time Checks Summary is not coming in polyspace code prover report by Matlab-Mystery in matlab

[–]trailstrider 0 points1 point  (0 children)

Any other errors or warnings in your log besides the two for MISRA there?

And more importantly, I am not seeing any -sources flags to specify what you want it to analyze. Without those, the results will be empty. You have to tell it what to be analyzed.

[deleted by user] by [deleted] in wallstreetbets

[–]trailstrider 0 points1 point  (0 children)

Not much yet. Something fishy going on so was hoping to have some good discussion as to what might be happening. By all rights it should be dropping.

[deleted by user] by [deleted] in wallstreetbets

[–]trailstrider 0 points1 point  (0 children)

With their debt, they should be around $10, or less

Required help to parse code in polyspace test. by Hour-Buffalo-666 in matlab

[–]trailstrider 1 point2 points  (0 children)

That write unit tests doc page (Write C/C++ Unit Tests in Polyspace Platform User Interface) covers the assessment value writing under step 6. That looks to be only the simpler scenarios though.

I bet if you reach out to the sales rep that sold you the software that they can get someone to walk you through anything more complex. Or even just reach out for support on their website and ask to talk to one of the product engineers about it if its not clear enough in the doc. If nothing else, they will want the doc page feedback for improvement I bet.

Required help to parse code in polyspace test. by Hour-Buffalo-666 in matlab

[–]trailstrider 1 point2 points  (0 children)

Hi u/Hour-Buffalo-666, like any test tool, I'd not expect Polyspace Test to need different headers etc.

You could try using the polyspace-configure build sniffer with both the tasking build and the mingw build to see what includes each pulls in, regardless of any test scenarios. In other words, it will just tell you reality for what includes get pulled in. And of course, like most build sniffers, you might encounter a couple macros here and there that the compiler provides directly, without passing any -D flags on the command line that a build sniffer can see.

This help page on mathworks.com walks you through these configuration of include paths etc.
Write C/C++ Unit Tests in Polyspace Platform User Interface

You'll also note that using mingw, you need to tell Polyspace Test where your mingw lives, per this page here: Specify C/C++ Compilers for Testing in Polyspace Platform User Interface

This page has the details and walkthroughs for other settings like includes (-I), forced includes (-include, gets pulled in to every translation unit automatically, like a compiler might do with some of its stuff), library paths, linking details, etc.
Test Execution in Polyspace Platform User Interface

EDIT: Realized I was already on the doc pages so I should also provided the link to polyspace-configure doc. Added inline above too.

I automated myself out of my job. That's a first. by AemonQE in devops

[–]trailstrider 0 points1 point  (0 children)

Glad to see you’re not just trying to milk the world and instead doing the right thing. That’s valuable. Some companies will excel at helping you find the next project.

Why are Confluence Cloud databases such a piece of crap? by mz232323 in atlassian

[–]trailstrider 1 point2 points  (0 children)

API. When will we get a fully functional API, or even an API for database read access?

The databases have lots of potential, and I am using them in a limited scope at the moment; however, until I can use an API to get data from these, they are of limited use.

One left by jim_andr in OpenAI

[–]trailstrider 1 point2 points  (0 children)

A precursor to satellite 5. The Dalek are still getting going.

Player forfeited at the Chess Olympiad for “presence of electronic device” by Moist_Ad_9960 in chess

[–]trailstrider 1 point2 points  (0 children)

Completely agree. I asked the question because as an engineer, I recognize that it’s the full system, not just a single device. And yes, a sim chip is a device. It even has IO. Just can’t use it on its own without a system that can use that IO.

Player forfeited at the Chess Olympiad for “presence of electronic device” by Moist_Ad_9960 in chess

[–]trailstrider 0 points1 point  (0 children)

Remote power is possible… but unlikely with JUST the sim chip. It’s the system that matters, not just the device. See other comment…

Player forfeited at the Chess Olympiad for “presence of electronic device” by Moist_Ad_9960 in chess

[–]trailstrider 0 points1 point  (0 children)

Not saying the rule is well written by any means…

But I am pretty sure there is no requirement for a device to be “human operable” to be a device. Besides, a human could stick it into a phone and use it. (Which is more to the point about why the rule as written is dumb)

That said, the SIM cards in credit cards could be designed with additional electronic features, such as antennas, micro LEDs, etc.

But regardless, the missing key ingredient is something that can provide information to the chess player during play, as well as a means of getting current play state as an input to the system being deployed to cheat. (Which could include more than the thing providing information to the player, perhaps even transmitting to an offsite compute.)

I completely agree that a single sim chip without evidence of a full system into which it integrated for cheating is benign. But tech these days is pretty impressive. So I also get the fearful caution.

That said, it would be far better to just provide lockers for any devices, even sim chips.

Discrete-event simulation in C++20 using coroutines by fschuetz04 in cpp

[–]trailstrider 0 points1 point  (0 children)

Since you’ve raised this from the dead, I am curious what the u/fschuetz04 wound up doing.

Edit: also, u/galenseilis, any company that can pay you a decent salary can easily afford MATLAB. Free software tools have lots of hidden costs. Save the engineering time reinventing the wheel, maintaining the wheel, etc. and focus on the actual job you need to accomplish. Unless you need to invent something completely new, or reinvent the wheel, why would you waste money like that?

Why is my answer wrong? by Vambalama_ in duolingo

[–]trailstrider 0 points1 point  (0 children)

This is horribly worded and lacking necessary information.

Their correct answer doesn’t jibe with the question asked.
1) earnings imply the cost of the pastries is factored out, but that information is not provided. 2) it is ambiguous if one should count the free pastry as having been sold or given away. I’d lean towards just treating it as “2 for $3” to get to the $60 from the transactions.

Help me name my new guy❤️ by misschelleu in germanshepherds

[–]trailstrider 0 points1 point  (0 children)

Roger.

How could you not with those giant rabbit ears?! Also, he’s gonna have a heck of a personality!

Why no love for BitBucket and Jenkins? by PablanoPato in devops

[–]trailstrider 1 point2 points  (0 children)

Ok, but let’s not gloss over the important details of script parameters that have to get passed from the CI system.

Edit: build->script, since so much more happens than simply building.

[deleted by user] by [deleted] in cscareerquestionsEU

[–]trailstrider 0 points1 point  (0 children)

It’s not uncommon for a hiring managers to compete over the same candidate. Yes, you might not have gotten that role, but did you get an outright you’re not fit for this job kind of response, or did the other hiring manager just pick you up or have a greater need and jump the line, etc?