summaryrefslogtreecommitdiffstats
path: root/notFinishedCode/Report/test.tex
diff options
context:
space:
mode:
authorRefik Hadzialic2011-10-09 19:21:23 +0200
committerRefik Hadzialic2011-10-09 19:21:23 +0200
commit3ef4634493e83bd968cea8ad58346e248fe6d06b (patch)
treebcb3dc28dcd6cd88ca312e3e61852b5ea648b94c /notFinishedCode/Report/test.tex
parentWriting report! (diff)
downloadgsm-selftest-3ef4634493e83bd968cea8ad58346e248fe6d06b.tar.gz
gsm-selftest-3ef4634493e83bd968cea8ad58346e248fe6d06b.tar.xz
gsm-selftest-3ef4634493e83bd968cea8ad58346e248fe6d06b.zip
Removed some errors that latex produced because of special characters!
Diffstat (limited to 'notFinishedCode/Report/test.tex')
-rw-r--r--notFinishedCode/Report/test.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/notFinishedCode/Report/test.tex b/notFinishedCode/Report/test.tex
index 1224bf0..05fa6d9 100644
--- a/notFinishedCode/Report/test.tex
+++ b/notFinishedCode/Report/test.tex
@@ -179,7 +179,7 @@ Full statespace search for:
assertion violations +
cycle checks - (disabled by -DSAFETY)
invalid end states +
-State-vector 44 byte, depth reached 65, ••• errors: 0 •••
+State-vector 44 byte, depth reached 65, errors: 0
40 states, stored
3 states, matched
43 transitions (= stored+matched)