Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

wrong arity call in ltl_fairness.pl

Description

lines 161 and 164, add_error_fail requires 3 arguments

Environment

None

Gliffy Diagrams

Activity

Show:

Ivaylo Dobrikov July 28, 2015 at 3:07 PM

read commits

Fixed

Details

Assignee

Reporter

Priority

Created July 28, 2015 at 2:08 PM
Updated July 28, 2015 at 3:07 PM
Resolved July 28, 2015 at 3:07 PM
Configure