es.ucm.fdi.sscheck.prop.tl.flink
a newly created ExecutionEnvironment, for which no data set or action has been defined, and that it's not started
If override the returned environment should have event time set.
If override the returned environment should have event time set.
a newly created StreamExecutionEnvironment, for which no stream or action has been defined, and that it's not started.
Override for custom configuration
a ScalaCheck property that is executed by:
Override for custom configuration
Override for custom configuration
Maximum number of letters (i.e., tumbling windows) that the test case will wait for, 100 by default
How many elements of each window to print during test case evaluation