diff options
author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-18 15:31:03 +0200 |
---|---|---|
committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-18 15:31:03 +0200 |
commit | 43487d3baf695875482454ade1bdbc1403bfaaf6 (patch) | |
tree | 3718a44913fc1544d7ddfbe5fdb5d909e162ca9b /tests/result | |
parent | 0caa1ebe947646459295c6a66da6bf19f399c21e (diff) | |
download | scade-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.out | 21 | ||||
-rw-r--r-- | tests/result/limitera.out | 48 |
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 |