Polyspace command line execution
27 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
Walter Roberson
ha marcado con alerta este/a pregunta
2 comentarios
Jatin
el 20 de Sept. de 2024
The error message indicates that there is an issue with providing a username when connecting to the job scheduler on "LongTerm@polyspace.emea.zf-world.com". Make sure to provide a valid username when prompted.
Respuestas (1)
Kothuri
el 8 de Nov. de 2024 a las 15:22
The error message indicates that the script is not receiving a username when trying to connect to the Polyspace job scheduler. You can try the below steps to resolve the error:
- Modify your script to include the username directly in the command. For example:
C:\Python35\python.exe
D:\Automation\D81_CNHTC\D81_CNHTC_IMP\mapfilesandbox_1.37\Application\Input\Build\EDE_AddOn\Scripts\polyspace.py -p PSW_TC297 -j -hl -op "server=LongTerm@polyspace.emea.zf-world.com" -op "author=Z0031027" -op "username=your_username" -op gen -op run -s
D:\Automation\D81_CNHTC\D81_CNHTC_IMP\mapfilesandbox_1.37\Application\Input\Build\PSW_TC297.pjt
- Ensure that the script correctly prompts for the username if it is not provided. You might need to add a prompt in the script to ask for the username.
- Set the username as an environment variable and modify the script to read from this variable. For example, you can use:
import os
username = os.getenv('POLYSPACE_USERNAME')
if not username:
username = input("Enter your Polyspace username: ")
- Verify that your Polyspace configuration files are correctly set up to include the necessary details and include the username.
You can refer the below link for more info on Polyspace Bug finder
0 comentarios
Ver también
Categorías
Más información sobre Polyspace Code Prover en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!