samy.mputu
/
RTSA-lab01-CacheAnalysis
forked from nils.hoelscher/RTSA-lab01-CacheAnalysis
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Automated builds and better UnitTEstNames for the Future.

This commit is contained in:
Nils Hölscher 2022-05-24 10:46:21 +02:00
parent 9dca6c2f67
commit 841dbe1070
2 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
UnitTest/UnitTest.cpp
View File

@ -10,7 +10,7 @@ void fillSet(AbstractState &In, unsigned int Set) {
} }
// Joined Set should remain the same // Joined Set should remain the same
TEST(UnitTest, MustJoinSameStates) { TEST(MustJoinTests, MustJoinSameStates) {
AbstractCache AC; AbstractCache AC;
AC.addEmptyNode(0); AC.addEmptyNode(0);
fillSet(AC.Nodes[0], 0); fillSet(AC.Nodes[0], 0);
@ -37,7 +37,7 @@ void counterFillSet(AbstractState &In, unsigned int Set) {
// Age[1]: 1 // Age[1]: 1
// Age[2]: 2 // Age[2]: 2
// Age[3]: 0 3 // Age[3]: 0 3
TEST(UnitTest, MustJoinDifferentStates) { TEST(MustJoinTests, MustJoinDifferentStates) {
AbstractCache AC; AbstractCache AC;
AC.addEmptyNode(0); AC.addEmptyNode(0);
counterFillSet(AC.Nodes[0], 0); counterFillSet(AC.Nodes[0], 0);
@ -81,7 +81,7 @@ void fillSetHighNumbers(AbstractState &In, unsigned int Set) {
} }
// resulting state should be empty // resulting state should be empty
TEST(UnitTest, MustJoinDisjunctStates) { TEST(MustJoinTests, MustJoinDisjunctStates) {
AbstractCache AC; AbstractCache AC;
AC.addEmptyNode(0); AC.addEmptyNode(0);
fillSetHighNumbers(AC.Nodes[0], 0); fillSetHighNumbers(AC.Nodes[0], 0);
@ -100,7 +100,7 @@ TEST(UnitTest, MustJoinDisjunctStates) {
} }
} }
TEST(UnitTest, MustJoinDisjunctStatesAllSets) { TEST(MustJoinTests, MustJoinDisjunctStatesAllSets) {
AbstractCache AC; AbstractCache AC;
AC.addEmptyNode(0); AC.addEmptyNode(0);
AC.addEmptyNode(1); AC.addEmptyNode(1);
@ -123,7 +123,7 @@ TEST(UnitTest, MustJoinDisjunctStatesAllSets) {
} }
} }
TEST(UnitTest, MustJoinDifferentStatesAllSets) { TEST(MustJoinTests, MustJoinDifferentStatesAllSets) {
AbstractCache AC; AbstractCache AC;
AC.addEmptyNode(0); AC.addEmptyNode(0);
AC.addEmptyNode(1); AC.addEmptyNode(1);

8
include/.drone.yml Normal file
View File

@ -0,0 +1,8 @@
kind: pipeline
type: docker
name: llvmta-build
steps:
- name: Build
image: ls12-nvm-oma1:5000/cppdev
commands:
- ./helper all