-
Thibault Allançon authored
Basic benchmark with DFS and DFS with bitstate hashing (using Jenkins lookup3 hash function). * spot/mc/Makefile.am: add bitstate.hh * spot/mc/bitstate.hh: implementation here * spot/mc/mc.hh: add bitstate wrapper * tests/ltsmin/modelcheck.cc: add bitstate CLI
365e60d5