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/RivestShapir_hypothesis0.dot | |
| 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/RivestShapir_hypothesis0.dot')
| -rw-r--r-- | assignments/assignment2/RivestShapir_hypothesis0.dot | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/assignments/assignment2/RivestShapir_hypothesis0.dot b/assignments/assignment2/RivestShapir_hypothesis0.dot deleted file mode 100644 index 271810a..0000000 --- a/assignments/assignment2/RivestShapir_hypothesis0.dot +++ /dev/null @@ -1,12 +0,0 @@ -digraph g { -__start0 [label="" shape="none"]; - - s0 [shape="circle" label="0"]; - s0 -> s0 [label="5ct / OK"]; - s0 -> s0 [label="10ct / OK"]; - s0 -> s0 [label="mars / NOK"]; - s0 -> s0 [label="snickers / NOK"]; - s0 -> s0 [label="twix / NOK"]; - -__start0 -> s0; -} |