• R/O
  • SSH
  • HTTPS

tsukurimashou: Commit


Commit MetaInfo

Revision494 (tree)
Time2013-12-11 10:51:39
Authormskala

Log Message

bit vector testing

Change Summary

Incremental Difference

--- trunk/idsgrep/bitvec.c (revision 493)
+++ trunk/idsgrep/bitvec.c (revision 494)
@@ -462,6 +462,14 @@
462462 #endif
463463 break;
464464 }
465+
466+ if (z->lambda>uint64_2_pop(z->bits)) {
467+#ifdef HAVE_BUDDY
468+ if (z==x) bdd_delref(x->decision_diagram);
469+ if (z==y) bdd_delref(y->decision_diagram);
470+#endif
471+ return bf_false(z);
472+ }
465473
466474 /* show debug information */
467475 if (bitvec_debug) {
--- trunk/idsgrep/Makefile.am (revision 493)
+++ trunk/idsgrep/Makefile.am (revision 494)
@@ -143,9 +143,10 @@
143143
144144 GCOV_TESTS = \
145145 test/andor test/anynot test/assoc test/basicmatch test/backslash \
146- test/bighash test/cooked test/demorgan test/equal test/genbv \
147- test/kvg-grone test/messages test/parsedict test/regex test/spacing \
148- test/speed test/tsu-grone test/unilist test/unord test/userpred test/utf8
146+ test/bighash test/cooked test/demorgan test/equal test/filtcalc \
147+ test/genbv test/kvg-grone test/messages test/parsedict test/regex \
148+ test/spacing test/speed test/tsu-grone test/unilist test/unord \
149+ test/userpred test/utf8
149150
150151 define GCDEP_RECIPE
151152 $1.log: test/rmgcda.log
Show on old repository browser