Tests/passive_check.chr

   1 :- module(passive_check,[passive_check/0]).
   2 :- use_module(library(chr)).
   3
   4 :- chr_constraint a/1, b/1.
   5
   6 :- chr_option(debug,off).
   7 :- chr_option(optimize,full).
   8
   9 a(X) # ID, b(X) <=> true pragma passive(ID).
  10
  11 passive_check :-
  12         a(_).