Problem with parsing product color
Bug #1967129 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Undecided
|
Kenneth Yrke Jørgensen | ||
Bug Description
If you open the net and verify the query, it returns:
ERROR: CANNOT_COMPUTE
Error parsing the model
Model file "/var/folders/
Cannot get color from a tuple color.
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| assignee: | nobody → Kenneth Yrke Jørgensen (yrke) |
Revision history for this message
| Jiri Srba (srba) wrote | #2 |
| Changed in tapaal: | |
| status: | New → Fix Committed |
To post a comment you must log in.
The problem is with CANNOT_COMPUTE is resolved now. However, the engine returns now trace but the GUI is trying to parse it and throws "Premature end of file" exception. Also the verification takes about 20 seconds (due to call to LP solver in query reduction phase)