diff options
| author | Bart Polot <bart@net.in.tum.de> | 2013-09-26 12:45:31 +0000 |
|---|---|---|
| committer | Bart Polot <bart@net.in.tum.de> | 2013-09-26 12:45:31 +0000 |
| commit | 6612e2a579c9e42bc679df285edb193ed6d974dd (patch) | |
| tree | 03dd758210c39a5e72e40041411ec266d46747d5 /src/regex/regex_test_lib.c | |
| parent | 19d15fe2f575f4f6db2410d9de3ffa4de93a837b (diff) | |
Add REGEX_INTERNAL_iterate_reachable_edges which only reveals edges reachable from
states with proof longer or equal to REGEX_INITIAL_BYTES
Diffstat (limited to 'src/regex/regex_test_lib.c')
0 files changed, 0 insertions, 0 deletions