summaryrefslogtreecommitdiff
path: root/tests/result
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ansys.com>2014-06-18 15:31:03 +0200
committerAlex Auvolat <alex.auvolat@ansys.com>2014-06-18 15:31:03 +0200
commit43487d3baf695875482454ade1bdbc1403bfaaf6 (patch)
tree3718a44913fc1544d7ddfbe5fdb5d909e162ca9b /tests/result
parent0caa1ebe947646459295c6a66da6bf19f399c21e (diff)
downloadscade-analyzer-43487d3baf695875482454ade1bdbc1403bfaaf6.tar.gz
scade-analyzer-43487d3baf695875482454ade1bdbc1403bfaaf6.zip
Add gilbreath suite ; booleans are not represented in a good way.
Diffstat (limited to 'tests/result')
-rw-r--r--tests/result/gilbreath.out21
-rw-r--r--tests/result/limitera.out48
2 files changed, 45 insertions, 24 deletions
diff --git a/tests/result/gilbreath.out b/tests/result/gilbreath.out
new file mode 100644
index 0000000..d6a0fa4
--- /dev/null
+++ b/tests/result/gilbreath.out
@@ -0,0 +1,21 @@
+0. 0 1 1
+1. 1 1 0
+2. 0 1 0
+3. 1 1 1
+4. 1 1 0
+5. 0 1 0
+6. 0 1 1
+7. 1 1 0
+8. 0 1 0
+9. 1 1 0
+10. 0 1 0
+11. 1 1 0
+12. 1 1 1
+13. 0 1 0
+14. 1 1 0
+15. 0 1 1
+16. 0 1 0
+17. 1 1 0
+18. 1 1 1
+19. 0 1 0
+20. 1 1 0
diff --git a/tests/result/limitera.out b/tests/result/limitera.out
index 1851c7d..f047b8f 100644
--- a/tests/result/limitera.out
+++ b/tests/result/limitera.out
@@ -5,27 +5,27 @@
4. 78 16 58
5. 99 16 74
6. 120 16 90
-7. -115 16 74
-8. -94 16 58
-9. -73 16 42
-10. -52 16 26
-11. -31 16 10
-12. -10 16 -6
-13. 11 16 10
-14. 32 16 26
-15. 53 16 42
-16. 74 16 58
-17. 95 16 74
-18. 116 16 90
-19. -119 16 74
-20. -98 16 58
-21. -77 16 42
-22. -56 16 26
-23. -35 16 10
-24. -14 16 -6
-25. 7 16 7
-26. 28 16 23
-27. 49 16 39
-28. 70 16 55
-29. 91 16 71
-30. 112 16 87
+7. -116 16 74
+8. -95 16 58
+9. -74 16 42
+10. -53 16 26
+11. -32 16 10
+12. -11 16 -6
+13. 10 16 10
+14. 31 16 26
+15. 52 16 42
+16. 73 16 58
+17. 94 16 74
+18. 115 16 90
+19. -121 16 74
+20. -100 16 58
+21. -79 16 42
+22. -58 16 26
+23. -37 16 10
+24. -16 16 -6
+25. 5 16 5
+26. 26 16 21
+27. 47 16 37
+28. 68 16 53
+29. 89 16 69
+30. 110 16 85