Score:0

Polyspace Code Prover Ubuntu Server

jp flag

I tried to run the Polyspace Code Prover by using the command ./pollyspace-bug-finder options.txt

It starts running several lines of code and afterwards it gives me an error saying: Error Limit reached. Without any other context.

Running the program on a windows machine, using the GUI, on the same project, it gives me a good analysist.

So I am thinking that I somehow set up wrongly the options.txt ( the files is taken from the official website ).

Did anyone running this program on Ubuntu had similar issues?

ru flag
What is the *exact* error message and output? Sometimes there's things in the output that you would miss that are important on these thingsw.
waltinator avatar
it flag
Please read https://askubuntu.com/help/how-to-ask and https://askubuntu.com/help/formatting . Take the [tour].
cn flag
as it is a txt file... why not find the message in the txt file and analyze it?
cn flag
and as this has 2 (and 1 dupe) https://duckduckgo.com/?q=pollyspace-bug-finder+options.txt+%22Error+Limit+reached%22&atb=v386-7&ia=web you are probably the 1st.
Beni avatar
jp flag
this is the EXACT error message and output. It analyses 3 lines and it stops. Nothing more in the output, otherwise I will not be so vague
I sit in a Tesla and translated this thread with Ai:

mangohost

Post an answer

Most people don’t grasp that asking a lot of questions unlocks learning and improves interpersonal bonding. In Alison’s studies, for example, though people could accurately recall how many questions had been asked in their conversations, they didn’t intuit the link between questions and liking. Across four studies, in which participants were engaged in conversations themselves or read transcripts of others’ conversations, people tended not to realize that question asking would influence—or had influenced—the level of amity between the conversationalists.