diff options
Diffstat (limited to 'gfsm/gfsm/src/libgfsm/tests/dettest.c')
-rw-r--r-- | gfsm/gfsm/src/libgfsm/tests/dettest.c | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/gfsm/gfsm/src/libgfsm/tests/dettest.c b/gfsm/gfsm/src/libgfsm/tests/dettest.c new file mode 100644 index 0000000..278535c --- /dev/null +++ b/gfsm/gfsm/src/libgfsm/tests/dettest.c @@ -0,0 +1,21 @@ +#include <gfsm.h> +#include <stdio.h> + +int main (void) { + gfsmAutomaton *fsm = gfsm_automaton_new(); + + printf("##-- determinize()-1...\n"); + gfsm_automaton_determinize(fsm); + gfsm_automaton_print_file(fsm,stdout,NULL); + + printf("##-- determinize()-2...\n"); + gfsm_automaton_determinize(fsm); + gfsm_automaton_print_file(fsm,stdout,NULL); + + printf("##-- determinize()-3...\n"); + gfsm_automaton_determinize(fsm); + gfsm_automaton_print_file(fsm,stdout,NULL); + + printf("done.\n"); + return 0; +} |