| Key: |
STR-601
|
| Type: |
Bug
|
| Status: |
Closed
|
| Resolution: |
Fixed
|
| Priority: |
Major
|
| Assignee: |
Unassigned
|
| Reporter: |
Nicolas Pierron
|
| Votes: |
0
|
| Watchers: |
1
|
|
|
|
Original Estimate:
|
Unknown
|
Remaining Estimate:
|
Unknown
|
Time Spent:
|
Unknown
|
|
|
the following code will produce 2 instead of 3:
!1; (?1 <+ ?a); (where(!a) < !2 + !3)
at the opposite of
!1; (?1 <+ ?a); (!a < !2 + !3)
|
|
Description
|
the following code will produce 2 instead of 3:
!1; (?1 <+ ?a); (where(!a) < !2 + !3)
at the opposite of
!1; (?1 <+ ?a); (!a < !2 + !3)
|
Show » |
|
|
unboundness of the variable