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