Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
BitVectorTest.cpp File Reference
Include dependency graph for BitVectorTest.cpp:

Go to the source code of this file.

Functions

 TEST (BitVectorTest, InitToZero)
 
 TEST (BitVectorTest, InitToOne)
 
 TEST (BitVectorTest, InitFromIterator)
 
 TEST (BitVectorTest, InitFromIntVector)
 
 TEST (BitVectorTest, GetSet)
 
 TEST (BitVectorTest, GetAsInt)
 
 TEST (BitVectorTest, SetFromInt)
 
 TEST (BitVectorTest, GetSetInt)
 
 TEST (BitVectorDeathTest, GetSetAssertion)
 
 TEST (BitVectorTest, Resize)
 
 TEST (BitVectorTest, OperatorAnd)
 
 TEST (BitVectorTest, OperatorAndEqual)
 
 TEST (BitVectorTest, OperatorOr)
 
 TEST (BitVectorTest, OperatorOrEqual)
 
 TEST (BitVectorTest, OperatorXor)
 
 TEST (BitVectorTest, OperatorModulo)
 
 TEST (BitVectorTest, OperatorNot)
 
 TEST (BitVectorTest, Complement)
 
 TEST (BitVectorTest, Increment)
 
 TEST (BitVectorTest, permute)
 
 TEST (BitVectorTest, permuteGrouped)
 
 TEST (BitVectorTest, Implies)
 
 TEST (BitVectorTest, Subset)
 
 TEST (BitVectorTest, Disjoint)
 
 TEST (BitVectorTest, Empty)
 
 TEST (BitVectorTest, Full)
 
 TEST (BitVectorTest, NumberOfSetBits)
 
 TEST (BitVectorTest, NumberOfSetBitsBeforeIndex)
 
 TEST (BitVectorTest, BeginEnd)
 
 TEST (BitVectorTest, NextSetIndex)
 
 TEST (BitVectorTest, NextUnsetIndex)
 
 TEST (BitVectorTest, SequenceBefore)
 
 TEST (BitVectorTest, Iterator)
 
 TEST (BitVectorTest, ReverseIterator)
 
 TEST (BitVectorTest, CompareAndSwap)
 
 TEST (BitVectorTest, Concat)
 
 TEST (BitVectorTest, Expand)
 
 TEST (BitVectorTest, Assignment)
 
 TEST (BitVectorTest, ZeroSized)
 

Function Documentation

◆ TEST() [1/39]

TEST ( BitVectorDeathTest  ,
GetSetAssertion   
)

Definition at line 135 of file BitVectorTest.cpp.

◆ TEST() [2/39]

TEST ( BitVectorTest  ,
Assignment   
)

Definition at line 646 of file BitVectorTest.cpp.

◆ TEST() [3/39]

TEST ( BitVectorTest  ,
BeginEnd   
)

Definition at line 512 of file BitVectorTest.cpp.

◆ TEST() [4/39]

TEST ( BitVectorTest  ,
CompareAndSwap   
)

Definition at line 609 of file BitVectorTest.cpp.

◆ TEST() [5/39]

TEST ( BitVectorTest  ,
Complement   
)

Definition at line 336 of file BitVectorTest.cpp.

◆ TEST() [6/39]

TEST ( BitVectorTest  ,
Concat   
)

Definition at line 622 of file BitVectorTest.cpp.

◆ TEST() [7/39]

TEST ( BitVectorTest  ,
Disjoint   
)

Definition at line 446 of file BitVectorTest.cpp.

◆ TEST() [8/39]

TEST ( BitVectorTest  ,
Empty   
)

Definition at line 462 of file BitVectorTest.cpp.

◆ TEST() [9/39]

TEST ( BitVectorTest  ,
Expand   
)

Definition at line 635 of file BitVectorTest.cpp.

◆ TEST() [10/39]

TEST ( BitVectorTest  ,
Full   
)

Definition at line 477 of file BitVectorTest.cpp.

◆ TEST() [11/39]

TEST ( BitVectorTest  ,
GetAsInt   
)

Definition at line 69 of file BitVectorTest.cpp.

◆ TEST() [12/39]

TEST ( BitVectorTest  ,
GetSet   
)

Definition at line 57 of file BitVectorTest.cpp.

◆ TEST() [13/39]

TEST ( BitVectorTest  ,
GetSetInt   
)

Definition at line 128 of file BitVectorTest.cpp.

◆ TEST() [14/39]

TEST ( BitVectorTest  ,
Implies   
)

Definition at line 412 of file BitVectorTest.cpp.

◆ TEST() [15/39]

TEST ( BitVectorTest  ,
Increment   
)

Definition at line 352 of file BitVectorTest.cpp.

◆ TEST() [16/39]

TEST ( BitVectorTest  ,
InitFromIntVector   
)

Definition at line 42 of file BitVectorTest.cpp.

◆ TEST() [17/39]

TEST ( BitVectorTest  ,
InitFromIterator   
)

Definition at line 27 of file BitVectorTest.cpp.

◆ TEST() [18/39]

TEST ( BitVectorTest  ,
InitToOne   
)

Definition at line 17 of file BitVectorTest.cpp.

◆ TEST() [19/39]

TEST ( BitVectorTest  ,
InitToZero   
)

Definition at line 6 of file BitVectorTest.cpp.

◆ TEST() [20/39]

TEST ( BitVectorTest  ,
Iterator   
)

Definition at line 579 of file BitVectorTest.cpp.

◆ TEST() [21/39]

TEST ( BitVectorTest  ,
NextSetIndex   
)

Definition at line 526 of file BitVectorTest.cpp.

◆ TEST() [22/39]

TEST ( BitVectorTest  ,
NextUnsetIndex   
)

Definition at line 539 of file BitVectorTest.cpp.

◆ TEST() [23/39]

TEST ( BitVectorTest  ,
NumberOfSetBits   
)

Definition at line 492 of file BitVectorTest.cpp.

◆ TEST() [24/39]

TEST ( BitVectorTest  ,
NumberOfSetBitsBeforeIndex   
)

Definition at line 502 of file BitVectorTest.cpp.

◆ TEST() [25/39]

TEST ( BitVectorTest  ,
OperatorAnd   
)

Definition at line 200 of file BitVectorTest.cpp.

◆ TEST() [26/39]

TEST ( BitVectorTest  ,
OperatorAndEqual   
)

Definition at line 218 of file BitVectorTest.cpp.

◆ TEST() [27/39]

TEST ( BitVectorTest  ,
OperatorModulo   
)

Definition at line 294 of file BitVectorTest.cpp.

◆ TEST() [28/39]

TEST ( BitVectorTest  ,
OperatorNot   
)

Definition at line 320 of file BitVectorTest.cpp.

◆ TEST() [29/39]

TEST ( BitVectorTest  ,
OperatorOr   
)

Definition at line 237 of file BitVectorTest.cpp.

◆ TEST() [30/39]

TEST ( BitVectorTest  ,
OperatorOrEqual   
)

Definition at line 256 of file BitVectorTest.cpp.

◆ TEST() [31/39]

TEST ( BitVectorTest  ,
OperatorXor   
)

Definition at line 275 of file BitVectorTest.cpp.

◆ TEST() [32/39]

TEST ( BitVectorTest  ,
permute   
)

Definition at line 394 of file BitVectorTest.cpp.

◆ TEST() [33/39]

TEST ( BitVectorTest  ,
permuteGrouped   
)

Definition at line 403 of file BitVectorTest.cpp.

◆ TEST() [34/39]

TEST ( BitVectorTest  ,
Resize   
)

Definition at line 147 of file BitVectorTest.cpp.

◆ TEST() [35/39]

TEST ( BitVectorTest  ,
ReverseIterator   
)

Definition at line 594 of file BitVectorTest.cpp.

◆ TEST() [36/39]

TEST ( BitVectorTest  ,
SequenceBefore   
)

Definition at line 554 of file BitVectorTest.cpp.

◆ TEST() [37/39]

TEST ( BitVectorTest  ,
SetFromInt   
)

Definition at line 95 of file BitVectorTest.cpp.

◆ TEST() [38/39]

TEST ( BitVectorTest  ,
Subset   
)

Definition at line 431 of file BitVectorTest.cpp.

◆ TEST() [39/39]

TEST ( BitVectorTest  ,
ZeroSized   
)

Definition at line 653 of file BitVectorTest.cpp.