Modals and non-modals collide in table-namespace

Bug #1445157 reported by Tim Hinrichs
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
congress
Triaged
Medium
Unassigned

Bug Description

Explicit reactive enforcement (i.e. rules with execute[] in the head) doesn't work properly if there are rules where the same table is used with execute[] and without execute[]. The easiest fix is to add a syntax check that rejects a rule with p in the head when a rule with execute[p...] already exists or vice versa.

Anusha (anusha-iiitm)
Changed in congress:
assignee: nobody → Anusha (anusha-iiitm)
Tim Hinrichs (thinrichs)
Changed in congress:
milestone: kilo-3 → none
Eric K (ekcs)
Changed in congress:
milestone: none → ocata-2
Anusha (anusha-iiitm)
Changed in congress:
assignee: Anusha (anusha-iiitm) → nobody
Eric K (ekcs)
Changed in congress:
milestone: ocata-2 → ocata-3
Eric K (ekcs)
Changed in congress:
status: New → Triaged
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.