From 3ef4634493e83bd968cea8ad58346e248fe6d06b Mon Sep 17 00:00:00 2001 From: Refik Hadzialic Date: Sun, 9 Oct 2011 19:21:23 +0200 Subject: Removed some errors that latex produced because of special characters! --- notFinishedCode/Report/test.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'notFinishedCode/Report/test.tex') 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) -- cgit v1.2.3-55-g7522