diff options
| author | Camil Staps | 2017-10-16 15:36:43 +0200 |
|---|---|---|
| committer | Camil Staps | 2017-10-16 15:36:43 +0200 |
| commit | f1f019cd02bf2c0a73b3492a1664aaeb21e3aa76 (patch) | |
| tree | f59193f56b7f421ecf64760595a274be991aa6d4 /assignments/assignment2/Twice_counterexamples.txt | |
| parent | de-misunderestimating (diff) | |
| parent | Add counterexamples and hypotheses of same counterexample twice (diff) | |
Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-Techniques
Diffstat (limited to 'assignments/assignment2/Twice_counterexamples.txt')
| -rw-r--r-- | assignments/assignment2/Twice_counterexamples.txt | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/assignments/assignment2/Twice_counterexamples.txt b/assignments/assignment2/Twice_counterexamples.txt new file mode 100644 index 0000000..9ba77f1 --- /dev/null +++ b/assignments/assignment2/Twice_counterexamples.txt @@ -0,0 +1,38 @@ +driver INFO Listening on 127.0.0.1:1044 +1508160582696 geckodriver::marionette INFO Starting browser /usr/bin/firefox with args ["-marionette"] +1508160583602 Marionette INFO Listening on port 38035 +1508160583730 Marionette WARN TLS certificate errors will be ignored for this session +Oct 16, 2017 3:29:44 PM org.openqa.selenium.remote.ProtocolHandshake createSession +INFO: Detected dialect: W3C +model size 1 +0: Mon Oct 16 15:29:45 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 10ct 5ct 10ct 5ct snickers twix 5ct mars +SUL output: OK OK OK OK OK OK OK OK NOK + +testing queries/symbols: 6/14(1/9 this testing round) + +model size 7 +1: Mon Oct 16 15:30:28 CEST 2017 +Hypothesis size: 7 states +learning queries/symbols: 77/424(71/410 this learning round) +Enter space-separated input sequence to try as a counter-example, or 'stop' to stop learning +10ct 10ct 5ct 10ct 5ct snickers twix 5ct mars +SUL output: OK OK OK OK OK OK OK OK NOK + +testing queries/symbols: 78/433(1/9 this testing round) + +model size 8 +2: Mon Oct 16 15:30:42 CEST 2017 +Hypothesis size: 8 states +learning queries/symbols: 135/677(57/244 this learning round) +Enter space-separated input sequence to try as a counter-example, or 'stop' to stop learning +stop +testing queries/symbols: 135/677(0/0 this testing round) + +Finished learning! +Learning the complete method took: 60 seconds. + +Process finished with exit code 0 |