Verifyta.exe output, very minor formatting problems

Status: Alpha

Brought to you by: pettersson, stefan19682

#35 Verifyta.exe output, very minor formatting problems

Status: open

Owner: John Håkansson

Labels: uppaal-port (14)

Priority: 1

Updated: 2008-02-11

Created: 2008-02-11

Creator: Davor Slutej

Private: No

See attached picture.

Windows XP

Discussion

Davor Slutej - 2008-02-11

Problematic stuff marked with red...

verifyta_output.png

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Davor Slutej - 2008-02-11

priority: 5 --> 3

assigned_to: nobody --> john-h
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

John Håkansson - 2008-02-11

Logged In: YES
user_id=1898535
Originator: NO

I believe this is more a problem with the cygwin/MS DOS terminal: I have the same problem with UPPAAL. I usually use the '-s' (silent) option to supress the load information. Unfortunately this seems to invalidate (set to zero) the number of states explored reported by '-u' (number of states stored still works, though)

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Davor Slutej - 2008-02-11

Logged In: YES
user_id=803361
Originator: YES

This is a minor issue. Only means that outputs need to be photoshoped before showing them ;)

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Davor Slutej - 2008-02-11

priority: 3 --> 1

summary: Verifyta.exe output, formatting problems --> Verifyta.exe output, very minor formatting problems
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.