| /******************************************************************************* |
| * Copyright (c) 2011 - 2012 ACIN, nxtControl, 2018 TU Vienna/ACIN |
| * 2020 Johannes Kepler University Linz |
| * This program and the accompanying materials are made available under the |
| * terms of the Eclipse Public License 2.0 which is available at |
| * http://www.eclipse.org/legal/epl-2.0. |
| * |
| * SPDX-License-Identifier: EPL-2.0 |
| * |
| * Contributors: |
| * Martin Melik Merkumians, Ingo Hegny, Alois Zoitl, Stanislav Meduna - initial API and implementation and/or initial documentation |
| * Ernst Blecha - add at-variable tests |
| *******************************************************************************/ |
| |
| #include <boost/test/unit_test.hpp> |
| |
| #include "../../../src/core/datatypes/forte_array_at.h" |
| |
| using namespace boost::unit_test; |
| |
| BOOST_AUTO_TEST_SUITE(AT_VARIABLE) |
| BOOST_AUTO_TEST_SUITE(AT_VARIABLE_WORD) |
| |
| BOOST_AUTO_TEST_CASE(AT_VARIABLE_WORD_READ_BIT) |
| { |
| CIEC_WORD nTestWord; |
| |
| nTestWord = 0xFFFF; |
| |
| ARRAY_AT<CIEC_BOOL, CIEC_WORD, 0, 15> testArray(nTestWord); |
| |
| for(auto i=0;i<16;i++){ |
| BOOST_CHECK_EQUAL(testArray[i], true); |
| BOOST_CHECK_EQUAL(testArray.getAccessedOutOfBounds(), false); |
| } |
| |
| } |
| |
| BOOST_AUTO_TEST_CASE(AT_VARIABLE_WORD_READ_BIT_OUTOFBOUNDS) |
| { |
| CIEC_WORD nTestWord; |
| ARRAY_AT<CIEC_BOOL, CIEC_WORD, 0, 15> testArray(nTestWord); |
| |
| BOOST_CHECK_EQUAL(testArray[16], testArray[16]); |
| BOOST_CHECK_EQUAL(testArray.getAccessedOutOfBounds(), true); |
| |
| } |
| |
| BOOST_AUTO_TEST_CASE(AT_VARIABLE_WORD_WRITE_BIT) |
| { |
| CIEC_WORD nTestWord; |
| |
| ARRAY_AT<CIEC_BOOL, CIEC_WORD, 0, 15> testArray(nTestWord); |
| |
| for(auto i=0;i<16;i++){ |
| nTestWord = 0xFFFF; |
| testArray[i] = false; |
| for(auto j=0;j<16;j++){ |
| BOOST_CHECK_EQUAL(testArray[j], i!=j); |
| } |
| BOOST_CHECK_EQUAL(testArray.getAccessedOutOfBounds(), false); |
| } |
| |
| } |
| |
| BOOST_AUTO_TEST_CASE(AT_VARIABLE_WORD_WRITE_BIT_OUTOFBOUNDS) |
| { |
| CIEC_WORD nTestWord; |
| ARRAY_AT<CIEC_BOOL, CIEC_WORD, 0, 15> testArray(nTestWord); |
| |
| testArray[16] = true; |
| BOOST_CHECK_EQUAL(testArray[16], testArray[16]); |
| BOOST_CHECK_EQUAL(testArray.getAccessedOutOfBounds(), true); |
| |
| } |
| |
| BOOST_AUTO_TEST_CASE(AT_VARIABLE_WORD_READ_BYTE) |
| { |
| CIEC_WORD nTestWord; |
| |
| nTestWord = 0xFFFF; |
| |
| ARRAY_AT<CIEC_BYTE, CIEC_WORD, 0, 1> testArray(nTestWord); |
| |
| for(auto i=0;i<2;i++){ |
| BOOST_CHECK_EQUAL((int)testArray[i], 0xFF); |
| BOOST_CHECK_EQUAL(testArray.getAccessedOutOfBounds(), false); |
| } |
| |
| } |
| |
| BOOST_AUTO_TEST_CASE(AT_VARIABLE_WORD_READ_BYTE_OUTOFBOUNDS) |
| { |
| CIEC_WORD nTestWord; |
| ARRAY_AT<CIEC_BYTE, CIEC_WORD, 0, 1> testArray(nTestWord); |
| |
| BOOST_CHECK_EQUAL((int)testArray[2], (int)testArray[2]); |
| BOOST_CHECK_EQUAL(testArray.getAccessedOutOfBounds(), true); |
| |
| } |
| |
| BOOST_AUTO_TEST_CASE(AT_VARIABLE_WORD_WRITE_BYTE) |
| { |
| CIEC_WORD nTestWord; |
| |
| ARRAY_AT<CIEC_BYTE, CIEC_WORD, 0, 1> testArray(nTestWord); |
| |
| for(auto i=0;i<2;i++){ |
| nTestWord = 0xFFFF; |
| testArray[i] = false; |
| for(auto j=0;j<2;j++){ |
| BOOST_CHECK_EQUAL(testArray[j], i!=j ? 0xFF : false); |
| } |
| BOOST_CHECK_EQUAL(testArray.getAccessedOutOfBounds(), false); |
| } |
| |
| } |
| |
| BOOST_AUTO_TEST_CASE(AT_VARIABLE_WORD_WRITE_BYTE_OUTOFBOUNDS) |
| { |
| CIEC_WORD nTestWord; |
| ARRAY_AT<CIEC_BYTE, CIEC_WORD, 0, 1> testArray(nTestWord); |
| |
| testArray[2] = true; |
| BOOST_CHECK_EQUAL(testArray[2], testArray[2]); |
| BOOST_CHECK_EQUAL(testArray.getAccessedOutOfBounds(), true); |
| |
| } |
| |
| BOOST_AUTO_TEST_CASE(AT_VARIABLE_WORD_MOVING_BIT) |
| { |
| CIEC_WORD nTestWord; |
| |
| nTestWord = 0x0; |
| |
| ARRAY_AT<CIEC_BOOL, CIEC_WORD, 0, 15> testArray(nTestWord); |
| |
| for (size_t i=0; i < 16; i++) { |
| testArray[i] = true; |
| BOOST_CHECK_EQUAL(nTestWord, (TForteWord)1 << i); |
| testArray[i] = false; |
| } |
| |
| } |
| |
| BOOST_AUTO_TEST_CASE(AT_VARIABLE_WORD_MOVING_BYTE) |
| { |
| CIEC_WORD nTestWord; |
| |
| nTestWord = 0x0; |
| |
| ARRAY_AT<CIEC_BYTE, CIEC_WORD, 0, 1> testArray(nTestWord); |
| |
| for (size_t i=0; i < 2; i++) { |
| testArray[i] = 0xFF; |
| BOOST_CHECK_EQUAL(nTestWord, (TForteWord)0xFF << i*8); |
| testArray[i] = 0; |
| } |
| |
| } |
| |
| BOOST_AUTO_TEST_SUITE_END() |
| |
| BOOST_AUTO_TEST_SUITE_END() |