Main.BugReport History

Hide minor edits - Show changes to output - Cancel

Changed line 16 from:
* Access the %newwin% [[http://nuxmv.fbk.eu/bugs|nuXmv Bug Tracker]] [Preferable option]
to:
* Access the %newwin% [[http://nuxmv.fbk.eu/bugs|nuXmv Bug Tracker]] (preferable option)
Changed lines 16-19 from:
* Preferably use the %newwin% [[http://nuxmv.fbk.eu/bugs|nuXmv Bug Tracker]]
** If needed use the following credentials
  -> ''login'': anonymous
  -> ''passwd'': <leave empty>
to:
* Access the %newwin% [[http://nuxmv.fbk.eu/bugs|nuXmv Bug Tracker]] [Preferable option]
-> (click "Login Anonymously" if login screen appears.)
Changed line 17 from:
  ** If needed use the following credentials
to:
** If needed use the following credentials
Added line 17:
  ** If needed use the following credentials
Changed line 16 from:
* Preferably use the [[http://nuxmv.fbk.eu/bugs|nuXmv Bug Tracker]]
to:
* Preferably use the %newwin% [[http://nuxmv.fbk.eu/bugs|nuXmv Bug Tracker]]
Changed lines 12-13 from:
# Any further useful information, e.g. expected behaviour.
to:
# Any further useful information, e.g. expected behavior.
Changed line 16 from:
* Preferably use the [[https://essvn.fbk.eu/bugs|nuXmv Bug Tracker]]
to:
* Preferably use the [[http://nuxmv.fbk.eu/bugs|nuXmv Bug Tracker]]
Changed line 17 from:
  -> ''login'': @@anonymous@@
to:
  -> ''login'': anonymous
Deleted line 7:
Deleted line 8:
Deleted line 9:
Deleted line 11:
Deleted line 12:
Deleted line 13:
Changed lines 8-15 from:
1. A brief description of the identified problem

2. All needed information to enable us to reproduce it

  * Input files
  * Sequence of commands

3. Any further useful information, e.g. expected behaviour.
to:

#
A brief description of the identified problem

# All needed information to enable us to reproduce it

** Input files

** Sequence of commands

# Any further useful information, e.g. expected behaviour.
Changed line 1 from:
(:title Submit Bug Report and Feature Requests:)
to:
(:title Submit Bug Reports and Feature Requests:)
Changed lines 1-2 from:
(:title Submit Bug Report :)
to:
(:title Submit Bug Report and Feature Requests:)
Changed lines 6-8 from:
The bug report shall contain a brief description of the identified problem
and all the information to enable us to reproduce it (e.g. input file,
sequence of commands, etc
.)
to:
The bug report shall contain:

1. A
brief description of the identified problem

2. All needed
information to enable us to reproduce it

  * Input files
  * Sequence of commands

3
. Any further useful information, e.g. expected behaviour.


To submit a bug report, or a feature request:
Changed lines 4-5 from:
the issue either via e-mail or using the nuXmv Bug Tracking system.
to:
the issue preferably using the nuXmv Bug Tracking system, or by email.
Changed lines 8-11 from:
sequence of commands, ...).

* The [[https://essvn.fbk.eu/bugs|nuXmv Bug Tracker]]
* Sending an e-mail to [[mailto:nuxmv-users@list.fbk.eu|nuxmv-users@list.fbk.eu]]
to:
sequence of commands, etc.)

* Preferably use the [[https://essvn.fbk.eu/bugs|nuXmv Bug Tracker]]
  -> ''login'': @@anonymous@@
  -> ''passwd'': <leave empty>

* Alternatively, send
an e-mail to [[mailto:nuxmv-users@list.fbk.eu|nuxmv-users@list.fbk.eu]]
Changed line 11 from:
* Sending an e-mail to [[mailto:nuxmv-users@list.fbk.eu]]
to:
* Sending an e-mail to [[mailto:nuxmv-users@list.fbk.eu|nuxmv-users@list.fbk.eu]]
Changed line 10 from:
* The [[https://essvn.fbk.eu/bugs|| nuXmv Bug Tracker]]
to:
* The [[https://essvn.fbk.eu/bugs|nuXmv Bug Tracker]]
Added lines 1-11:
(:title Submit Bug Report :)

If you bump into a bug, we would appreciate you could report
the issue either via e-mail or using the nuXmv Bug Tracking system.

The bug report shall contain a brief description of the identified problem
and all the information to enable us to reproduce it (e.g. input file,
sequence of commands, ...).

* The [[https://essvn.fbk.eu/bugs|| nuXmv Bug Tracker]]
* Sending an e-mail to [[mailto:nuxmv-users@list.fbk.eu]]