blob: a251de70d677731ccc2bb83bc5ddf85fd8625dec (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
1508159843675 geckodriver INFO Listening on 127.0.0.1:28835
1508159844019 geckodriver::marionette INFO Starting browser /usr/bin/firefox with args ["-marionette"]
1508159844827 Marionette INFO Listening on port 44047
1508159844935 Marionette WARN TLS certificate errors will be ignored for this session
Oct 16, 2017 3:17:25 PM org.openqa.selenium.remote.ProtocolHandshake createSession
INFO: Detected dialect: W3C
model size 1
0: Mon Oct 16 15:17:26 CEST 2017
Hypothesis size: 1 states
learning queries/symbols: 5/5(5/5 this learning round)
Enter space-separated input sequence to try as a counter-example, or 'stop' to stop learning
10ct mars
SUL output: OK OK
testing queries/symbols: 6/7(1/2 this testing round)
model size 2
1: Mon Oct 16 15:17:46 CEST 2017
Hypothesis size: 2 states
learning queries/symbols: 20/40(14/33 this learning round)
Enter space-separated input sequence to try as a counter-example, or 'stop' to stop learning
10ct 10ct 5ct snickers
SUL output: OK OK OK OK
testing queries/symbols: 21/44(1/4 this testing round)
model size 4
2: Mon Oct 16 15:18:41 CEST 2017
Hypothesis size: 4 states
learning queries/symbols: 62/210(41/166 this learning round)
Enter space-separated input sequence to try as a counter-example, or 'stop' to stop learning
10ct 10ct 10ct 10ct 5ct
SUL output: OK OK OK OK NOK
testing queries/symbols: 63/215(1/5 this testing round)
model size 6
3: Mon Oct 16 15:19:04 CEST 2017
Hypothesis size: 6 states
learning queries/symbols: 121/530(58/315 this learning round)
Enter space-separated input sequence to try as a counter-example, or 'stop' to stop learning
Process finished with exit code 130 (interrupted by signal 2: SIGINT)
|
