Progressiveness
This commit is contained in:
@@ -3,7 +3,7 @@
|
|||||||
from sys import argv,exit
|
from sys import argv,exit
|
||||||
|
|
||||||
OPTIONS_STR = """
|
OPTIONS_STR = """
|
||||||
options { use-context-automaton; }
|
options { use-context-automaton; make-progressive; }
|
||||||
"""
|
"""
|
||||||
|
|
||||||
PROC_STR = """
|
PROC_STR = """
|
||||||
|
|||||||
Reference in New Issue
Block a user