Home
last modified time | relevance | path

Searched refs:rules_fired (Results 1 – 2 of 2) sorted by relevance

/dports/math/rumur/rumur-2021.09.29/misc/
H A Dverifier.rng66 <attribute name="rules_fired"> attribute
116 <attribute name="rules_fired"> attribute
/dports/math/rumur/rumur-2021.09.29/rumur/resources/
H A Dheader.c132 static uintmax_t rules_fired[THREADS]; variable
3682 rules_fired[thread_id] = rules_fired_local; in exit_with()
3814 for (size_t i = 0; i < sizeof(rules_fired) / sizeof(rules_fired[0]); i++) { in exit_with()
3815 fire_count += rules_fired[i]; in exit_with()