blob: ef7ae0be32bc7610b56bfa8b76971774651cc722 (
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
|
1508158844825 geckodriver INFO Listening on 127.0.0.1:31696
1508158845131 geckodriver::marionette INFO Starting browser /usr/bin/firefox with args ["-marionette"]
1508158845954 Marionette INFO Listening on port 39433
1508158846041 Marionette WARN TLS certificate errors will be ignored for this session
Oct 16, 2017 3:00:47 PM org.openqa.selenium.remote.ProtocolHandshake createSession
INFO: Detected dialect: W3C
model size 1
0: Mon Oct 16 15:00:47 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:00:55 CEST 2017
Hypothesis size: 2 states
learning queries/symbols: 25/46(19/39 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: 26/50(1/4 this testing round)
model size 3
2: Mon Oct 16 15:01:31 CEST 2017
Hypothesis size: 3 states
learning queries/symbols: 55/155(29/105 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: 56/160(1/5 this testing round)
model size 5
3: Mon Oct 16 15:06:38 CEST 2017
Hypothesis size: 5 states
learning queries/symbols: 115/463(59/303 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)
|
