Surefire Report

Summary

[Summary] [Package List] [Test Cases]

Note: failures are anticipated and checked for with assertions while errors are unanticipated.

Package List

[Summary] [Package List] [Test Cases]

Note: package statistics are not computed recursively, they only sum up all of its testsuites numbers.

it.univr.di.cstnu.graph

-	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	CSTNEdgeTest	5	0	0	0	100%	0 s
	CSTNUEdgeTest	10	0	0	0	100%	0 s
	STNUGraphMLReaderTest	4	0	0	0	100%	0.028 s
	EdgeSupplierTest	5	0	0	0	100%	0 s
	CSTNUGraphMLWriterTest	1	0	0	0	100%	0.002 s
	TNGraphTest	1	0	0	0	100%	0.048 s
	STNUGraphMLWriterTest	2	0	0	0	100%	0 s
	CSTNGraphTest	10	0	0	0	100%	0 s
	LabeledNodeTest	2	0	0	0	100%	0 s
	CSTNEdgeTest	5	0	0	0	100%	0 s
	CSTNGraphTest	10	0	0	0	100%	0.008 s
	CSTNUEdgeTest	10	0	0	0	100%	0.007 s
	CSTNUGraphMLReaderTest	2	0	0	0	100%	0.003 s
	CSTNUGraphMLWriterTest	1	0	0	0	100%	0.001 s
	STNUEdgeTest	6	0	0	0	100%	0 s
	EdgeSupplierTest	5	0	0	0	100%	0 s
	LabeledNodeTest	2	0	0	0	100%	0.001 s
	STNUGraphMLWriterTest	2	0	0	0	100%	0.001 s
	STNUGraphMLReaderTest	4	0	0	0	100%	0.003 s
	TNGraphTest	1	0	0	0	100%	0.030 s
	STNUEdgeTest	6	0	0	0	100%	0 s
	CSTNUGraphMLReaderTest	2	0	0	0	100%	0.004 s

it.univr.di.labeledvalue

-	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	LabeledIntHierarchyMapTest	33	0	0	0	100%	0.001 s
	LiteralTest	5	0	0	0	100%	0.024 s
	LabeledIntSimpleMapTest	3	0	0	0	100%	0.012 s
	ALabelTest	10	0	0	0	100%	0.004 s
	LabeledALabelIntTreeMapTest	18	0	0	0	100%	0.024 s
	LabeledIntHierarchyMapTest	33	0	0	0	100%	0.013 s
	LabeledIntSimpleMapTest	3	0	0	0	100%	0 s
	LabeledIntTreeMapTest	38	0	0	0	100%	0.010 s
	LabeledLowerCaseValueTest	2	0	0	0	100%	0.001 s
	LabelTest	25	0	0	0	100%	0.003 s
	LiteralTest	5	0	0	0	100%	0 s
	LabelTest	25	0	0	0	100%	0 s
	LabeledALabelIntTreeMapTest	18	0	0	0	100%	0 s
	LabeledLowerCaseValueTest	2	0	0	0	100%	0 s
	LabeledIntTreeMapTest	38	0	0	0	100%	0.001 s
	ALabelTest	10	0	0	0	100%	0 s

it.univr.di.cstnu.algorithms

-	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	CSTNTest	16	0	0	0	100%	0.004 s
	CSTNwoNodeLabelTest	16	0	0	0	100%	0.010 s
	STNURTETest	6	0	0	0	100%	0.022 s
	CSTNU2CSTNTest	1	0	0	0	100%	0 s
	CSTNir3RwoNodeLabelTest	16	0	0	0	100%	0.010 s
	FTNUUTest	1	0	0	0	100%	0.004 s
	CSTNepsilonTest	16	0	0	0	100%	0.001 s
	OSTNUTest	14	0	0	0	100%	0.026 s
	CSTNepsilonwoNodeLabelTest	16	0	0	0	100%	0.001 s
	CSTNirwoNodeLabelTest	16	0	0	0	100%	0.001 s
	CSTNUTest	13	0	0	0	100%	0 s
	CSTNirTest	16	0	0	0	100%	0.004 s
	CSTNPotentialTest	8	0	0	0	100%	0 s
	CSTNepsilonTest	16	0	0	0	100%	0.003 s
	CSTNepsilonwoNodeLabelTest	16	0	0	0	100%	0.002 s
	CSTNir3RwoNodeLabelTest	16	0	0	0	100%	0.003 s
	CSTNirR3Test	17	0	0	0	100%	0.002 s
	CSTNirTest	16	0	0	0	100%	0.004 s
	CSTNirwoNodeLabelTest	16	0	0	0	100%	0.002 s
	CSTNPSUTest	15	0	0	0	100%	0.023 s
	CSTNTest	16	0	0	0	100%	0.001 s
	CSTNU2CSTNTest	1	0	0	0	100%	0 s
	CSTNUTest	13	0	0	0	100%	0.004 s
	CSTNPotentialTest	8	0	0	0	100%	0.006 s
	CSTNwoNodeLabelTest	16	0	0	0	100%	0.003 s
	OSTNUTest	14	0	0	0	100%	0.011 s
	STNTest	16	0	0	0	100%	1.730 s
	STNUTest	30	0	0	0	100%	0.023 s
	STNURTETest	6	0	0	0	100%	0.002 s
	CSTNPSUTest	15	0	0	0	100%	0.006 s
	CSTNirR3Test	17	0	0	0	100%	0.002 s
	STNUTest	30	0	0	0	100%	0.070 s
	STNTest	16	0	0	0	100%	0.948 s

it.univr.di.cstnu.util

-	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	ExtendedPriorityQueueTest	20	0	0	0	100%	0.005 s
	ActiveWaitsTest	3	0	0	0	100%	0 s
	ExtendedPriorityQueueTest	20	0	0	0	100%	0 s
	TimeIntervalTest	4	0	0	0	100%	0 s
	ObjectArrayFifoSetQueueTest	13	0	0	0	100%	0 s
	TimeIntervalTest	4	0	0	0	100%	0.001 s
	ObjectArrayFifoSetQueueTest	13	0	0	0	100%	0.001 s
	ActiveWaitsTest	3	0	0	0	100%	0 s

Test Cases

[Summary] [Package List] [Test Cases]

CSTNEdgeTest

	testPutLabeledValue	0 s
	testToString	0 s
	testMergeLabeledValueLabelInt1	0 s
	testMergeLabeledValueLabelInt	0 s
	testIsEmptyClear	0 s

CSTNUEdgeTest

	testIsEmptyAndClear	0 s
	testClearLowerCaseValue	0 s
	testGetAllUpperCaseAndOrdinaryLabeledValuesSet	0 s
	testToString	0 s
	testMergeUpperLabeledValues	0 s
	testEqualsAllLabeledValues	0 s
	testGetUpperLabelValueLabelString	0 s
	testMergeUpperLabeledValues1	0 s
	testMergeUpperLabeledValues2	0 s
	testSimlificationUpperLabeledValues	0 s

LabeledIntHierarchyMapTest

	caso20160109list	0 s
	equals1	0 s
	distruzioneBase2	0 s
	minValue	0 s
	equals	0 s
	putAllTest	0 s
	caso20160108b	0 s
	caso20160109c	0 s
	caso20160109d	0 s
	manageTwinDebug	0 s
	caso20141021	0 s
	caso20141128	0 s
	caso20160108	0 s
	caso20160109	0 s
	caso20160110	0 s
	caso20160111	0 s
	caso20160112	0 s
	semplificazioneRicorsivaTest	0 s
	putACleaningValueTest	0 s
	simplificationWithUnknown1	0 s
	semplificazione1Test	0 s
	simplificationWithInfinite	0 s
	checkIntSet	0 s
	minValueConsistentWithTest	0 s
	eliminazione	0 s
	semplificazioneBase1Test	0 s
	semplificazioneBase2Test	0 s
	semplificazioneBase3Test	0 s
	semplificazioneBase4Test	0 s
	distruzioneBase	0 s
	simplificationWithUnknown	0 s
	insert0	0 s
	casoBaseConValoriDistinti	0 s

ExtendedPriorityQueueTest

	testExtractMinEntry	0.001 s
	extractMinEntry	0 s
	testAdd	0 s
	delete	0 s
	testClear	0.001 s
	testSize	0 s
	testGetAllDeterminedPriorities	0.001 s
	size	0 s
	testExtractMin	0 s
	clear	0 s
	testGetPriority	0 s
	extractMin	0 s
	getStatus	0.001 s
	testDecreasePriority	0 s
	testGetStatus	0 s
	testIsEmpty	0 s
	getFirst	0 s
	isEmpty	0 s
	getElements	0 s
	insertOrUpdate	0 s

CSTNTest

	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0.001 s
	testRemoveChildren	0 s
	testLabelModificationR0Z	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagation	0 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0.001 s
	testLabelModificationR3	0 s
	testLabelModificationR3withUnkown	0 s
	testLabeledPropagationForwardOfInfty1	0.002 s

CSTNwoNodeLabelTest

	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0.004 s
	testRemoveChildren	0 s
	testLabelModificationR0Z	0.001 s
	testLabeledPropagation	0.002 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0.001 s
	testLabelModificationR3withUnkown	0 s
	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0.002 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagationForwardOfInfty1	0 s

STNURTETest

	rteEarlyLateRC	0.019 s
	rteEarlyRC	0.001 s
	rteEarlyLate	0 s
	rteEarly	0 s
	rteLateWithUpperBound	0.001 s
	rteLate	0 s

STNUGraphMLReaderTest

	testGraphAttribute	0.020 s
	testSTNU1	0.001 s
	testSTNU	0.006 s
	testSTNU33	0.001 s

CSTNU2CSTNTest

testCSTNU2CSTNLabeledIntGraphInt

0 s

ActiveWaitsTest

	addWait	0 s
	testToString	0 s
	remove	0 s

ExtendedPriorityQueueTest

	testExtractMinEntry	0 s
	extractMinEntry	0 s
	testAdd	0 s
	delete	0 s
	testClear	0 s
	testSize	0 s
	testGetAllDeterminedPriorities	0 s
	size	0 s
	testExtractMin	0 s
	clear	0 s
	testGetPriority	0 s
	extractMin	0 s
	getStatus	0 s
	testDecreasePriority	0 s
	testGetStatus	0 s
	testIsEmpty	0 s
	getFirst	0 s
	isEmpty	0 s
	getElements	0 s
	insertOrUpdate	0 s

TimeIntervalTest

	constructor	0 s
	testToString	0 s
	set	0 s
	testIntersect	0 s

ObjectArrayFifoSetQueueTest

	testEnqueue	0 s
	testToArray	0 s
	testComparator	0 s
	testEnqueueFirst	0 s
	testClear	0 s
	testFirst	0 s
	testLast	0 s
	testSize	0 s
	testToString	0 s
	testDequeueLast	0 s
	testContains	0 s
	testDequeue	0 s
	testIsEmpty	0 s

LiteralTest

	testParse	0.005 s
	testToString	0 s
	testCompareTo	0 s
	testEqualsObject	0 s
	testGetComplement	0 s

LabeledIntSimpleMapTest

	testEntrySet	0.009 s
	testRemoveEntrySet	0 s
	testKeySet	0.001 s

CSTNir3RwoNodeLabelTest

	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testQstar	0.002 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0.005 s
	testLabelModificationR0Z	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagation	0 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0.001 s
	testLabeledPropagationForwardOfInfty1	0 s
	testRemoveChildren	0.001 s
	testLabelModificationR3withUnkown	0 s

FTNUUTest

testPrototypalLink

0.003 s

CSTNepsilonTest

	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0 s
	testLabelModificationR0Z	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagation	0.001 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0 s
	testLabelModificationR3withUnkown	0 s
	testLabeledPropagationForwardOfInfty1	0 s
	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testRemoveChildren	0 s

TimeIntervalTest

	constructor	0 s
	testToString	0 s
	set	0 s
	testIntersect	0 s

ALabelTest

	remove	0.001 s
	conjunct	0.001 s
	contains	0 s
	array	0 s
	count	0.001 s
	parse	0 s
	intersect	0.001 s
	conjunction	0 s
	compare	0 s
	creation	0 s

LabeledALabelIntTreeMapTest

	minValueConsisntenWithTest	0.011 s
	minValue	0 s
	mergeWOSimplification	0.002 s
	mergeConSemplificazione	0.001 s
	generazioneSet	0.001 s
	parse	0.005 s
	mergeConSemplificazione10	0.001 s
	mergeConSemplificazione1	0 s
	mergeConSemplificazione2	0 s
	mergeConSemplificazione3	0 s
	mergeConSemplificazione4	0.001 s
	mergeConSemplificazione5	0 s
	mergeConSemplificazione6	0.001 s
	mergeConSemplificazione7	0 s
	mergeConSemplificazione8	0 s
	mergeConSemplificazione9	0.001 s
	immutable	0 s
	canRepresentTest	0 s

LabeledIntHierarchyMapTest

	caso20160109list	0.001 s
	equals1	0.001 s
	distruzioneBase2	0 s
	minValue	0 s
	equals	0.002 s
	putAllTest	0.001 s
	caso20160108b	0 s
	caso20160109c	0 s
	caso20160109d	0.001 s
	manageTwinDebug	0 s
	caso20141021	0 s
	caso20141128	0.001 s
	caso20160108	0 s
	caso20160109	0 s
	caso20160110	0 s
	caso20160111	0.001 s
	caso20160112	0 s
	semplificazioneRicorsivaTest	0.001 s
	putACleaningValueTest	0 s
	simplificationWithUnknown1	0 s
	semplificazione1Test	0 s
	simplificationWithInfinite	0 s
	checkIntSet	0.001 s
	minValueConsistentWithTest	0 s
	eliminazione	0 s
	semplificazioneBase1Test	0 s
	semplificazioneBase2Test	0 s
	semplificazioneBase3Test	0 s
	semplificazioneBase4Test	0.001 s
	distruzioneBase	0 s
	simplificationWithUnknown	0.001 s
	insert0	0.001 s
	casoBaseConValoriDistinti	0 s

LabeledIntSimpleMapTest

	testEntrySet	0 s
	testRemoveEntrySet	0 s
	testKeySet	0 s

LabeledIntTreeMapTest

	parseTest	0.001 s
	equals1	0 s
	testMerge20160320	0.001 s
	testMerge20160408	0.001 s
	distruzioneBase2	0 s
	minValue	0 s
	equals	0.001 s
	removeAllValuesGreaterThan	0 s
	testRemoveEntrySet	0 s
	putAllTest	0.001 s
	unknown	0 s
	differentValuesWithBase	0 s
	caso20141021	0 s
	caso20141128	0 s
	semplificazioneRicorsivaTest	0.001 s
	putACleaningValueTest	0 s
	simplificationWithUnknown1	0 s
	testEntrySet1	0 s
	alreadyRepresents	0 s
	semplificazione0Test	0.001 s
	semplificazione1Test	0 s
	semplificazione3Test	0 s
	simplificationWithInfinite	0 s
	checkIntSet	0 s
	minValueConsistentWithTest	0 s
	eliminazione	0.001 s
	semplificazioneBase1Test	0 s
	semplificazioneBase2Test	0 s
	semplificazioneBase3Test	0 s
	semplificazioneBase4Test	0 s
	semplificazione20230605Test	0 s
	semplificazione20230606Test	0.001 s
	distruzioneBase	0 s
	simplificationWithUnknown	0 s
	testKeySet	0 s
	insert0	0.001 s
	cicloConCancellazione	0 s
	casoBaseConValoriDistinti	0 s

LabeledLowerCaseValueTest

	empty	0 s
	parse	0.001 s

LabelTest

	testConjunctExtended	0 s
	testConjunctionExtended	0 s
	testGetLiteralWithSameName	0 s
	compareTo	0 s
	testSubsumes	0 s
	cloneEmptyLabel	0 s
	testParse	0 s
	testToString	0 s
	comparatorOrder	0.001 s
	unmodifiable	0 s
	testRemoveLabel	0 s
	testAllComponentsOfBaseGenerator	0 s
	testCompareTo	0.001 s
	testEqualsObject	0 s
	caso20141128	0 s
	testConjunction	0 s
	testGetAllStraight	0.001 s
	testConjunct	0 s
	testContains	0 s
	testIsConsistentWithLabel	0 s
	testIsConsistentWithLiteral	0 s
	testGetUniqueDifferentLiteral	0 s
	testRemoveLiteralBoolean	0 s
	testNegation	0 s
	testSubLabelIn	0 s

LiteralTest

	testParse	0 s
	testToString	0 s
	testCompareTo	0 s
	testEqualsObject	0 s
	testGetComplement	0 s

OSTNUTest

	testInitAndCheck	0.002 s
	testAgileControllabilityCheck	0.020 s
	testIsInNegativeScenarios	0 s
	testLabeledCrossCaseRule	0 s
	testLabeledLowerCaseRule	0 s
	testLabeledPropagationRule	0.001 s
	testLabeledOracleRule	0 s
	testlabeledUpperCaseRule	0 s
	testLabeledLetterRemovalRule	0 s
	test2AgileControllabilityCheck	0 s
	test3AgileControllabilityCheck	0 s
	testGetLabel4ValueInvolvingContingent	0 s
	test2LabeledCrossCaseRule	0 s
	test2LabeledLowerCaseRule	0 s

EdgeSupplierTest

	testGet	0 s
	testGetT	0 s
	testEdgeSupplier	0 s
	testGetString	0 s
	testGetClassOfKInt	0 s

CSTNUGraphMLWriterTest

testGraphMLWriterAbstractLayoutOfLabeledNodeLabeledIntEdge

0.002 s

CSTNepsilonwoNodeLabelTest

	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0 s
	testLabelModificationR0Z	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagation	0 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0 s
	testLabelModificationR3withUnkown	0 s
	testLabeledPropagationForwardOfInfty1	0 s
	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testRemoveChildren	0 s

CSTNirwoNodeLabelTest

	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0 s
	testRemoveChildren	0 s
	testLabelModificationR0Z	0 s
	testLabeledPropagation	0 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0 s
	testLabelModificationR3withUnkown	0 s
	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagationForwardOfInfty1	0 s

LabelTest

	testConjunctExtended	0 s
	testConjunctionExtended	0 s
	testGetLiteralWithSameName	0 s
	compareTo	0 s
	testSubsumes	0 s
	cloneEmptyLabel	0 s
	testParse	0 s
	testToString	0 s
	comparatorOrder	0 s
	unmodifiable	0 s
	testRemoveLabel	0 s
	testAllComponentsOfBaseGenerator	0 s
	testCompareTo	0 s
	testEqualsObject	0 s
	caso20141128	0 s
	testConjunction	0 s
	testGetAllStraight	0 s
	testConjunct	0 s
	testContains	0 s
	testIsConsistentWithLabel	0 s
	testIsConsistentWithLiteral	0 s
	testGetUniqueDifferentLiteral	0 s
	testRemoveLiteralBoolean	0 s
	testNegation	0 s
	testSubLabelIn	0 s

CSTNUTest

	testLabelModificationQR0	0 s
	testLabelModificationQR3	0 s
	test_llcRule	0 s
	test_lncRule	0 s
	test_lcucRule	0 s
	test_lucRule	0 s
	testLabelModificationR3bis	0 s
	testCrossCaseRule	0 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0 s
	test_flucRule	0 s
	testUpperCaseRule	0 s
	testCaseLabelRemovalRule	0 s

LabeledALabelIntTreeMapTest

	minValueConsisntenWithTest	0 s
	minValue	0 s
	mergeWOSimplification	0 s
	mergeConSemplificazione	0 s
	generazioneSet	0 s
	parse	0 s
	mergeConSemplificazione10	0 s
	mergeConSemplificazione1	0 s
	mergeConSemplificazione2	0 s
	mergeConSemplificazione3	0 s
	mergeConSemplificazione4	0 s
	mergeConSemplificazione5	0 s
	mergeConSemplificazione6	0 s
	mergeConSemplificazione7	0 s
	mergeConSemplificazione8	0 s
	mergeConSemplificazione9	0 s
	immutable	0 s
	canRepresentTest	0 s

TNGraphTest

testSTNUGetEdgeCount

0.048 s

STNUGraphMLWriterTest

	testGraphMLWriterAbstractLayoutOfLabeledNodeLabeledIntEdge	0 s
	testGraphMLStringWriter	0 s

CSTNirTest

	testLabeledPropagationForwardOfInfty	0 s
	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0.002 s
	testLabelModificationR0Z	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagation	0 s
	testAlphaBetaGamaPrime	0.001 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0 s
	testLabelModificationR3withUnkown	0 s
	testLabeledPropagationForwardOfInfty1	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testRemoveChildren	0 s

LabeledLowerCaseValueTest

	empty	0 s
	parse	0 s

CSTNGraphTest

	enlarge	0 s
	UnmodifiableClearTest	0 s
	UnmodifiableTest	0 s
	create	0 s
	managinDifferentEdges	0 s
	testGetChildrenOf	0 s
	cloneTest	0 s
	addManyNodes	0 s
	removeNode	0 s
	reverse	0 s

CSTNPotentialTest

	testDynamicConsistencyCheckWOInit	0 s
	testInitAndCheck	0 s
	testPotentialR3	0 s
	testSingleSinkShortestPaths	0 s
	testUpperPotentialR3	0 s
	testSingleSourceShortestPaths	0 s
	testDynamicConsistencyCheckWOInitUpper	0 s
	testInitAndCheckWithUpperBounds	0 s

LabeledNodeTest

	potentialPut1	0 s
	testEquals	0 s

CSTNepsilonTest

	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0.002 s
	testLabelModificationR0Z	0.001 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagation	0 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0 s
	testLabelModificationR3withUnkown	0 s
	testLabeledPropagationForwardOfInfty1	0 s
	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testRemoveChildren	0 s

CSTNepsilonwoNodeLabelTest

	testQstar	0.001 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0.001 s
	testLabelModificationR0Z	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagation	0 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0 s
	testLabelModificationR3withUnkown	0 s
	testLabeledPropagationForwardOfInfty1	0 s
	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testRemoveChildren	0 s

CSTNir3RwoNodeLabelTest

	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testQstar	0.001 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0.001 s
	testLabelModificationR0Z	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagation	0 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0 s
	testLabeledPropagationForwardOfInfty1	0 s
	testRemoveChildren	0 s
	testLabelModificationR3withUnkown	0.001 s

CSTNirR3Test

	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0.001 s
	testLabelModificationR0Z	0 s
	testLabelModificationqR3	0.001 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagation	0 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0 s
	testLabeledPropagationForwardOfInfty1	0 s
	testRemoveChildren	0 s
	testLabelModificationR3	0 s
	testLabelModificationR3withUnkown	0 s

CSTNirTest

	testLabeledPropagationForwardOfInfty	0 s
	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0.003 s
	testLabelModificationR0Z	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagation	0 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0.001 s
	testLabelModificationR3	0 s
	testLabelModificationR3withUnkown	0 s
	testLabeledPropagationForwardOfInfty1	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testRemoveChildren	0 s

CSTNirwoNodeLabelTest

	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0.001 s
	testLabeledPropagation4	0.001 s
	testRemoveChildren	0 s
	testLabelModificationR0Z	0 s
	testLabeledPropagation	0 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0 s
	testLabelModificationR3withUnkown	0 s
	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagationForwardOfInfty1	0 s

CSTNPSUTest

	testPrototypalLink	0 s
	testLabelModificationQR0	0.001 s
	testLabelModificationQR3	0 s
	test_llcRule	0.010 s
	test_lncRule	0 s
	test_lcucRule	0.001 s
	test_lucRule	0 s
	testLabelModificationR3bis	0.001 s
	testCrossCaseRule	0 s
	testConfigureSubNetworks	0.009 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0 s
	test_flucRule	0 s
	testUpperCaseRule	0 s
	testCaseLabelRemovalRule	0.001 s

CSTNTest

	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0.001 s
	testRemoveChildren	0 s
	testLabelModificationR0Z	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagation	0 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0 s
	testLabelModificationR3withUnkown	0 s
	testLabeledPropagationForwardOfInfty1	0 s

CSTNU2CSTNTest

testCSTNU2CSTNLabeledIntGraphInt

0 s

CSTNUTest

	testLabelModificationQR0	0 s
	testLabelModificationQR3	0 s
	test_llcRule	0.002 s
	test_lncRule	0 s
	test_lcucRule	0.001 s
	test_lucRule	0 s
	testLabelModificationR3bis	0 s
	testCrossCaseRule	0 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0 s
	test_flucRule	0 s
	testUpperCaseRule	0 s
	testCaseLabelRemovalRule	0.001 s

CSTNPotentialTest

	testDynamicConsistencyCheckWOInit	0.003 s
	testInitAndCheck	0 s
	testPotentialR3	0.001 s
	testSingleSinkShortestPaths	0 s
	testUpperPotentialR3	0.001 s
	testSingleSourceShortestPaths	0 s
	testDynamicConsistencyCheckWOInitUpper	0.001 s
	testInitAndCheckWithUpperBounds	0 s

CSTNwoNodeLabelTest

	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0.002 s
	testRemoveChildren	0 s
	testLabelModificationR0Z	0 s
	testLabeledPropagation	0 s
	testAlphaBetaGamaPrime	0.001 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0 s
	testLabelModificationR3withUnkown	0 s
	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagationForwardOfInfty1	0 s

OSTNUTest

	testInitAndCheck	0.001 s
	testAgileControllabilityCheck	0.007 s
	testIsInNegativeScenarios	0 s
	testLabeledCrossCaseRule	0 s
	testLabeledLowerCaseRule	0 s
	testLabeledPropagationRule	0 s
	testLabeledOracleRule	0.001 s
	testlabeledUpperCaseRule	0 s
	testLabeledLetterRemovalRule	0 s
	test2AgileControllabilityCheck	0.001 s
	test3AgileControllabilityCheck	0 s
	testGetLabel4ValueInvolvingContingent	0.001 s
	test2LabeledCrossCaseRule	0 s
	test2LabeledLowerCaseRule	0 s

STNTest

	testJohnsonReadOnly	0 s
	testMakeDispatchableWithRigidComponent	0.002 s
	testVelocity	1.719 s
	depthFirstOrder1	0 s
	testPredecessorSTN20211230	0.002 s
	testBFCT8Nodes	0.001 s
	testUndominatedEdgesSTN20211230	0.001 s
	testUndominatedEdges1	0 s
	depthFirstOrder	0 s
	testBFCTWithNegativeCycle	0.001 s
	testRigidComponentMethods	0 s
	testMakeDispatchableStn20211230	0.001 s
	testGetRepRigidComponents	0.001 s
	testCollapseRigidComponents	0.001 s
	testPredecessor	0 s
	testStrongConnectedComponents	0.001 s

STNUTest

	testNormalForm	0 s
	testMinDistESTNUWithActivationInRigidComponentFD	0.001 s
	testMinDistESTNU20231219	0.001 s
	testMinDistESTNU20231220	0.003 s
	testMorris2014DispatchableWithOToC	0 s
	testGraph	0 s
	testMinDistESTNUWithComplicatedRigidComponent	0.003 s
	testMinDistESTNUWithSTNUWithRCInducedByMaxMinEdge	0.003 s
	testMinDispESTNUWithNegativeAddedToAWait	0 s
	testMinDistESTNUWithActivationInRigidComponent0distanceFD	0.001 s
	testMinDistESTNUWithActivationInRigidComponentFD1	0.001 s
	testFDWithNegativeAddedToAWait	0 s
	testFD_STNUWithNegativeAddedToAWait	0.001 s
	testGetActivationNode	0 s
	testMinDistESTNU	0.001 s
	testMorris2014DispatchableWithNegativeAddedToAWait	0 s
	testMinDistESTNUWithActivationInRigidComponent0DistanceMorris	0 s
	testMinDistESTNUWithActivationInRigidComponentMorris1	0.001 s
	testMinDistESTNUWithActivationInRigidComponentMorris	0.001 s
	testMinDistESTNUSimple	0.001 s
	testRigidComponents	0.001 s
	testGetUpperContingentEdge	0 s
	testMinDistESTNUSimpleX02C	0.001 s
	testMinDistESTNUWithOLengthRigidComponent	0 s
	testBellmanFordOL	0.001 s
	testLuke20240102About0EdgetoC	0 s
	testMinDistESTNUWithConstraintVCInducedByRigidComponent	0.001 s
	testPredecessor	0 s
	testFD_STNU	0.001 s
	testGetLowerContingentEdge	0 s

STNURTETest

	rteEarlyLateRC	0.001 s
	rteEarlyRC	0 s
	rteEarlyLate	0 s
	rteEarly	0 s
	rteLateWithUpperBound	0.001 s
	rteLate	0 s

CSTNEdgeTest

	testPutLabeledValue	0 s
	testToString	0 s
	testMergeLabeledValueLabelInt1	0 s
	testMergeLabeledValueLabelInt	0 s
	testIsEmptyClear	0 s

CSTNGraphTest

	enlarge	0 s
	UnmodifiableClearTest	0.003 s
	UnmodifiableTest	0.001 s
	create	0 s
	managinDifferentEdges	0 s
	testGetChildrenOf	0.001 s
	cloneTest	0.002 s
	addManyNodes	0 s
	removeNode	0 s
	reverse	0.001 s

CSTNUEdgeTest

	testIsEmptyAndClear	0 s
	testClearLowerCaseValue	0 s
	testGetAllUpperCaseAndOrdinaryLabeledValuesSet	0.001 s
	testToString	0 s
	testMergeUpperLabeledValues	0 s
	testEqualsAllLabeledValues	0 s
	testGetUpperLabelValueLabelString	0 s
	testMergeUpperLabeledValues1	0.001 s
	testMergeUpperLabeledValues2	0.004 s
	testSimlificationUpperLabeledValues	0.001 s

CSTNUGraphMLReaderTest

	testSTN	0.002 s
	testCSTNU	0.001 s

CSTNUGraphMLWriterTest

testGraphMLWriterAbstractLayoutOfLabeledNodeLabeledIntEdge

0.001 s

STNUEdgeTest

	testParserUpperCase	0 s
	testLowerCase	0 s
	testUpperCase	0 s
	testLowerCaseNonValid	0 s
	testConstructor	0 s
	testIsEmptyClear	0 s

EdgeSupplierTest

	testGet	0 s
	testGetT	0 s
	testEdgeSupplier	0 s
	testGetString	0 s
	testGetClassOfKInt	0 s

LabeledNodeTest

	potentialPut1	0.001 s
	testEquals	0 s

STNUGraphMLWriterTest

	testGraphMLWriterAbstractLayoutOfLabeledNodeLabeledIntEdge	0 s
	testGraphMLStringWriter	0.001 s

STNUGraphMLReaderTest

	testGraphAttribute	0 s
	testSTNU1	0.001 s
	testSTNU	0.002 s
	testSTNU33	0 s

TNGraphTest

testSTNUGetEdgeCount

0.030 s

STNUEdgeTest

	testParserUpperCase	0 s
	testLowerCase	0 s
	testUpperCase	0 s
	testLowerCaseNonValid	0 s
	testConstructor	0 s
	testIsEmptyClear	0 s

ObjectArrayFifoSetQueueTest

	testEnqueue	0 s
	testToArray	0 s
	testComparator	0 s
	testEnqueueFirst	0 s
	testClear	0 s
	testFirst	0 s
	testLast	0 s
	testSize	0 s
	testToString	0 s
	testDequeueLast	0 s
	testContains	0 s
	testDequeue	0 s
	testIsEmpty	0 s

CSTNPSUTest

	testPrototypalLink	0 s
	testLabelModificationQR0	0 s
	testLabelModificationQR3	0 s
	test_llcRule	0.001 s
	test_lncRule	0.001 s
	test_lcucRule	0 s
	test_lucRule	0 s
	testLabelModificationR3bis	0 s
	testCrossCaseRule	0 s
	testConfigureSubNetworks	0.003 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0 s
	test_flucRule	0 s
	testUpperCaseRule	0 s
	testCaseLabelRemovalRule	0 s

LabeledIntTreeMapTest

	parseTest	0 s
	equals1	0.001 s
	testMerge20160320	0 s
	testMerge20160408	0 s
	distruzioneBase2	0 s
	minValue	0 s
	equals	0 s
	removeAllValuesGreaterThan	0 s
	testRemoveEntrySet	0 s
	putAllTest	0 s
	unknown	0 s
	differentValuesWithBase	0 s
	caso20141021	0 s
	caso20141128	0 s
	semplificazioneRicorsivaTest	0 s
	putACleaningValueTest	0 s
	simplificationWithUnknown1	0 s
	testEntrySet1	0 s
	alreadyRepresents	0 s
	semplificazione0Test	0 s
	semplificazione1Test	0 s
	semplificazione3Test	0 s
	simplificationWithInfinite	0 s
	checkIntSet	0 s
	minValueConsistentWithTest	0 s
	eliminazione	0 s
	semplificazioneBase1Test	0 s
	semplificazioneBase2Test	0 s
	semplificazioneBase3Test	0 s
	semplificazioneBase4Test	0 s
	semplificazione20230605Test	0 s
	semplificazione20230606Test	0 s
	distruzioneBase	0 s
	simplificationWithUnknown	0 s
	testKeySet	0 s
	insert0	0 s
	cicloConCancellazione	0 s
	casoBaseConValoriDistinti	0 s

CSTNirR3Test

	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0.001 s
	testLabelModificationR0Z	0 s
	testLabelModificationqR3	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagation	0 s
	testAlphaBetaGamaPrime	0.001 s
	testLabelModificationR0	0 s
	testLabeledPropagationForwardOfInfty1	0 s
	testRemoveChildren	0 s
	testLabelModificationR3	0 s
	testLabelModificationR3withUnkown	0 s

ActiveWaitsTest

	addWait	0 s
	testToString	0 s
	remove	0 s

STNUTest

	testNormalForm	0.001 s
	testMinDistESTNUWithActivationInRigidComponentFD	0.015 s
	testMinDistESTNU20231219	0.004 s
	testMinDistESTNU20231220	0.006 s
	testMorris2014DispatchableWithOToC	0.006 s
	testGraph	0 s
	testMinDistESTNUWithComplicatedRigidComponent	0.005 s
	testMinDistESTNUWithSTNUWithRCInducedByMaxMinEdge	0.006 s
	testMinDispESTNUWithNegativeAddedToAWait	0.002 s
	testMinDistESTNUWithActivationInRigidComponent0distanceFD	0.002 s
	testMinDistESTNUWithActivationInRigidComponentFD1	0.002 s
	testFDWithNegativeAddedToAWait	0.001 s
	testFD_STNUWithNegativeAddedToAWait	0.001 s
	testGetActivationNode	0.001 s
	testMinDistESTNU	0.001 s
	testMorris2014DispatchableWithNegativeAddedToAWait	0.001 s
	testMinDistESTNUWithActivationInRigidComponent0DistanceMorris	0.001 s
	testMinDistESTNUWithActivationInRigidComponentMorris1	0.001 s
	testMinDistESTNUWithActivationInRigidComponentMorris	0.001 s
	testMinDistESTNUSimple	0.002 s
	testRigidComponents	0.002 s
	testGetUpperContingentEdge	0.001 s
	testMinDistESTNUSimpleX02C	0.001 s
	testMinDistESTNUWithOLengthRigidComponent	0.001 s
	testBellmanFordOL	0.001 s
	testLuke20240102About0EdgetoC	0.001 s
	testMinDistESTNUWithConstraintVCInducedByRigidComponent	0.001 s
	testPredecessor	0 s
	testFD_STNU	0.001 s
	testGetLowerContingentEdge	0.001 s

ALabelTest

	remove	0 s
	conjunct	0 s
	contains	0 s
	array	0 s
	count	0 s
	parse	0 s
	intersect	0 s
	conjunction	0 s
	compare	0 s
	creation	0 s

CSTNUGraphMLReaderTest

	testSTN	0.002 s
	testCSTNU	0.002 s

STNTest

	testJohnsonReadOnly	0 s
	testMakeDispatchableWithRigidComponent	0.003 s
	testVelocity	0.929 s
	depthFirstOrder1	0 s
	testPredecessorSTN20211230	0.003 s
	testBFCT8Nodes	0.002 s
	testUndominatedEdgesSTN20211230	0.002 s
	testUndominatedEdges1	0 s
	depthFirstOrder	0 s
	testBFCTWithNegativeCycle	0.001 s
	testRigidComponentMethods	0.001 s
	testMakeDispatchableStn20211230	0.002 s
	testGetRepRigidComponents	0 s
	testCollapseRigidComponents	0.001 s
	testPredecessor	0.001 s
	testStrongConnectedComponents	0.002 s