| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LStar_counterexamples.txt | 4488 | logplainblame |
| -rw-r--r-- | LStar_hypothesis0.dot | 832 | logplainblame |
| -rw-r--r-- | LStar_hypothesis0.png | 61482 | logplainblame |
| -rw-r--r-- | LStar_hypothesis1.dot | 1023 | logplainblame |
| -rw-r--r-- | LStar_hypothesis1.png | 83427 | logplainblame |
| -rw-r--r-- | LStar_hypothesis2.dot | 1405 | logplainblame |
| -rw-r--r-- | LStar_hypothesis2.png | 141632 | logplainblame |
| -rw-r--r-- | LStar_hypothesis3.dot | 1598 | logplainblame |
| -rw-r--r-- | LStar_hypothesis3.png | 159949 | logplainblame |
| -rw-r--r-- | LStar_hypothesis4.dot | 1790 | logplainblame |
| -rw-r--r-- | LStar_hypothesis4.png | 181267 | logplainblame |
| -rw-r--r-- | LStar_learnedModel.dot | 1790 | logplainblame |
| -rw-r--r-- | RivestShapir_counterexamples.txt | 1679 | logplainblame |
| -rw-r--r-- | RivestShapir_hypothesis0.dot | 259 | logplainblame |
| -rw-r--r-- | RivestShapir_hypothesis1.dot | 451 | logplainblame |
| -rw-r--r-- | RivestShapir_hypothesis2.dot | 642 | logplainblame |
| -rw-r--r-- | RivestShapir_hypothesis3.dot | 1024 | logplainblame |
| -rw-r--r-- | assignment2.tex | 2315 | logplainblame |
 |
index : NWI-I00110-Testing-Techniques | |
| Files related to NWI-I00110 Testing Techniques, autumn 2017, Radboud University Nijmegen. |
| summaryrefslogtreecommitdiff |
