├── .github ├── ISSUE_TEMPLATE │ ├── bug_report.md │ └── feature_request.md └── workflows │ ├── 00-package-sonatype.yaml │ ├── 01-junit-unit.yaml │ ├── 02-junit-integration.yaml │ ├── 03-junit-functional-database-java.yaml │ ├── 03-junit-functional-java.yaml │ ├── 04-junit-functional-java-shouldfail.yaml │ ├── 100-javadoc.yaml │ ├── 101-javadoc-publish.yaml │ └── 99-junit-functional-docker.yaml ├── .gitignore ├── .vscode ├── settings.json └── tasks.json ├── CHANGELOG ├── LICENSE ├── README.md ├── bin ├── runtests └── runtests-repeatedly ├── counterexample.json ├── gradle.lockfile ├── gradle └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── settings.gradle └── src ├── main ├── java │ └── cloud │ │ └── filibuster │ │ ├── RpcType.java │ │ ├── daikon │ │ ├── DaikonPpt.java │ │ ├── DaikonPptType.java │ │ ├── ppt │ │ │ ├── DaikonGrpcProgramPointRecord.java │ │ │ └── DaikonGrpcProgramPointVariable.java │ │ └── traces │ │ │ ├── DaikonGrpcDataTraceRecord.java │ │ │ └── DaikonGrpcDataTraceVariable.java │ │ ├── dei │ │ ├── DistributedExecutionIndex.java │ │ ├── DistributedExecutionIndexBase.java │ │ ├── DistributedExecutionIndexKey.java │ │ ├── DistributedExecutionIndexType.java │ │ └── implementations │ │ │ └── DistributedExecutionIndexV1.java │ │ ├── exceptions │ │ ├── CircuitBreakerException.java │ │ ├── distributed_execution_index │ │ │ ├── DistributedExecutionIndexCloneException.java │ │ │ └── DistributedExecutionIndexSerializationException.java │ │ ├── filibuster │ │ │ ├── FilibusterAllowedTimeExceededException.java │ │ │ ├── FilibusterAnalysisFailureException.java │ │ │ ├── FilibusterAnalysisFileResourcePathException.java │ │ │ ├── FilibusterCallsiteGenerationException.java │ │ │ ├── FilibusterCoreLogicException.java │ │ │ ├── FilibusterDaikonRuntimeException.java │ │ │ ├── FilibusterDeserializationError.java │ │ │ ├── FilibusterFaultInjectionException.java │ │ │ ├── FilibusterFaultInjectionMismatchException.java │ │ │ ├── FilibusterFaultNotInjectedAndATrackedMethodInvokedException.java │ │ │ ├── FilibusterFaultNotInjectedException.java │ │ │ ├── FilibusterGrpcTestInternalRuntimeException.java │ │ │ ├── FilibusterGrpcTestRuntimeException │ │ │ │ ├── FilibusterGrpcAmbiguousFailureHandlingException.java │ │ │ │ ├── FilibusterGrpcAmbiguousThrowAndErrorPropagationException.java │ │ │ │ ├── FilibusterGrpcAssertOnFaultException.java │ │ │ │ ├── FilibusterGrpcAssertTestBlockFailedException.java │ │ │ │ ├── FilibusterGrpcAssertionUsedOutsideFailureBlockException.java │ │ │ │ ├── FilibusterGrpcAssertionsDidNotHoldUnderErrorResponseException.java │ │ │ │ ├── FilibusterGrpcAssertionsForAssertOnExceptionFailedException.java │ │ │ │ ├── FilibusterGrpcFailedRPCException.java │ │ │ │ ├── FilibusterGrpcInjectedFaultHasUnspecifiedFailureBehaviorException.java │ │ │ │ ├── FilibusterGrpcInvokedRPCUnimplementedException.java │ │ │ │ ├── FilibusterGrpcMissingAssertionForStatusCodeException.java │ │ │ │ ├── FilibusterGrpcMultipleFaultsInjectedException.java │ │ │ │ ├── FilibusterGrpcReadOnlyRPCUsedOutsideAssertOnExceptionAndAssertOnFaultException.java │ │ │ │ ├── FilibusterGrpcSideEffectingRPCUsedOutsideAssertOnExceptionAndAssertOnFaultException.java │ │ │ │ ├── FilibusterGrpcStubForUsedOutsideStubBlockException.java │ │ │ │ ├── FilibusterGrpcStubbedRPCHasNoAssertionsException.java │ │ │ │ ├── FilibusterGrpcSuppressedStatusCodeException.java │ │ │ │ ├── FilibusterGrpcTestRuntimeException.java │ │ │ │ ├── FilibusterGrpcThrownExceptionHasUnspecifiedFailureBehaviorException.java │ │ │ │ └── FilibusterGrpcVerifyThatUsedOutsideAssertStubException.java │ │ │ ├── FilibusterInstrumentationMissingDelegateException.java │ │ │ ├── FilibusterLatencyInjectionException.java │ │ │ ├── FilibusterMessageSerializationException.java │ │ │ ├── FilibusterNoopException.java │ │ │ ├── FilibusterOrganicFailuresPresentException.java │ │ │ ├── FilibusterRuntimeException.java │ │ │ ├── FilibusterServerBadResponseException.java │ │ │ ├── FilibusterServerNullException.java │ │ │ ├── FilibusterServiceProfileLoadingException.java │ │ │ ├── FilibusterServiceProfileReaderException.java │ │ │ ├── FilibusterServiceProfileWriterException.java │ │ │ ├── FilibusterTestReportWriterException.java │ │ │ ├── FilibusterTransformerException.java │ │ │ ├── FilibusterUnknownCallsiteException.java │ │ │ ├── FilibusterUnsupportedAPIException.java │ │ │ ├── FilibusterUnsupportedByHTTPServerException.java │ │ │ ├── FilibusterUnsupportedCustomAnalysisFileException.java │ │ │ └── FilibusterUnsupportedServerBackendException.java │ │ ├── transformer │ │ │ ├── TransformerNullResultException.java │ │ │ └── TransformerRuntimeException.java │ │ └── vector_clock │ │ │ └── VectorClockCloneException.java │ │ ├── instrumentation │ │ ├── Constants.java │ │ ├── datatypes │ │ │ ├── Callsite.java │ │ │ ├── CallsiteArguments.java │ │ │ ├── FilibusterExecutor.java │ │ │ ├── Pair.java │ │ │ ├── RequestId.java │ │ │ └── VectorClock.java │ │ ├── exceptions │ │ │ ├── CounterexampleFileDoesNotExistException.java │ │ │ ├── CounterexampleInvalidException.java │ │ │ ├── CounterexampleIsNullException.java │ │ │ ├── EnvironmentMissingCounterexampleException.java │ │ │ ├── FilibusterServerUnavailabilityException.java │ │ │ └── MissingServiceSpecificationException.java │ │ ├── helpers │ │ │ ├── Counterexample.java │ │ │ ├── Environment.java │ │ │ ├── Hashing.java │ │ │ ├── Networking.java │ │ │ ├── Property.java │ │ │ └── Response.java │ │ ├── instrumentors │ │ │ ├── FilibusterClientInstrumentor.java │ │ │ ├── FilibusterContextHelpers.java │ │ │ ├── FilibusterGrpcHeaders.java │ │ │ ├── FilibusterLocks.java │ │ │ ├── FilibusterServerInstrumentor.java │ │ │ └── FilibusterShared.java │ │ ├── libraries │ │ │ ├── armeria │ │ │ │ └── http │ │ │ │ │ ├── FilibusterDecoratingHttpClient.java │ │ │ │ │ ├── FilibusterDecoratingHttpService.java │ │ │ │ │ └── FilibusterNullDecoratingHttpClient.java │ │ │ ├── dynamic │ │ │ │ └── proxy │ │ │ │ │ └── DynamicProxyInterceptor.java │ │ │ └── grpc │ │ │ │ ├── FilibusterClientInterceptor.java │ │ │ │ ├── FilibusterServerInterceptor.java │ │ │ │ ├── FilibusterServerInvocationInterceptor.java │ │ │ │ └── NoopClientCall.java │ │ └── storage │ │ │ ├── ContextStorage.java │ │ │ └── ThreadLocalContextStorage.java │ │ └── junit │ │ ├── Assertions.java │ │ ├── FilibusterSearchStrategy.java │ │ ├── FilibusterSystemProperties.java │ │ ├── TestWithFilibuster.java │ │ ├── assertions │ │ ├── BlockType.java │ │ ├── Helpers.java │ │ └── protocols │ │ │ ├── GenericAssertions.java │ │ │ ├── GrpcAssertions.java │ │ │ └── HttpAssertions.java │ │ ├── configuration │ │ ├── FilibusterAnalysisConfiguration.java │ │ ├── FilibusterAnalysisConfigurationFile.java │ │ ├── FilibusterConfiguration.java │ │ ├── FilibusterCustomAnalysisConfigurationFile.java │ │ └── examples │ │ │ ├── FilibusterCircuitBreakerOnlyAnalysisConfigurationFile.java │ │ │ ├── FilibusterCircuitBreakerWithCustomDescriptionOnlyAnalysisConfigurationFile.java │ │ │ ├── FilibusterDefaultAnalysisConfigurationFile.java │ │ │ ├── FilibusterGrpcBasicAnalysisConfigurationFile.java │ │ │ ├── FilibusterGrpcBasicAnalysisWithDeferConfigurationFile.java │ │ │ ├── FilibusterGrpcBasicAnalysisWithSleepDeferConfigurationFile.java │ │ │ ├── FilibusterGrpcCodeWithDescriptionAnalysisConfigurationFile.java │ │ │ ├── FilibusterGrpcCodeWithoutCauseAnalysisConfigurationFile.java │ │ │ ├── FilibusterGrpcExhaustiveAnalysisConfigurationFile.java │ │ │ ├── FilibusterLatencyOnlyAnalysisConfigurationFile.java │ │ │ ├── FilibusterSingleFaultUnavailableAnalysisConfigurationFile.java │ │ │ ├── FilibusterSingleFaultUnimplementedAnalysisConfigurationFile.java │ │ │ ├── FilibusterWorldExtendedDefaultAnalysisConfigurationFile.java │ │ │ ├── armeria │ │ │ └── http │ │ │ │ └── FilibusterHTTPNullTransformerAnalysisConfigurationFile.java │ │ │ ├── db │ │ │ ├── cassandra │ │ │ │ └── CassandraAnalysisConfigurationFile.java │ │ │ ├── dynamodb │ │ │ │ └── DynamoDBAnalysisConfigurationFile.java │ │ │ ├── postgresql │ │ │ │ ├── PostgresAnalysisConfigurationFile.java │ │ │ │ └── PostgresTransformStringAnalysisConfigurationFile.java │ │ │ └── redis │ │ │ │ ├── GrpcAndRedisStringExceptionAndTransformerAndByzantineAnalysisConfigurationFile.java │ │ │ │ ├── RedisExhaustiveAnalysisConfigurationFile.java │ │ │ │ ├── RedisExhaustiveExceptionAndTransformerAnalysisConfigurationFile.java │ │ │ │ ├── RedisGatewayTransformerAnalysisConfigurationFile.java │ │ │ │ ├── RedisSingleFaultCommandInterruptedExceptionAnalysisConfigurationFile.java │ │ │ │ ├── RedisSingleFaultCommandTimeoutExceptionAnalysisConfigurationFile.java │ │ │ │ ├── RedisStringExceptionAndTransformerAndByzantineAnalysisConfigurationFile.java │ │ │ │ ├── RedisTrackedFunctionAnalysisConfigurationFile.java │ │ │ │ ├── RedisTransformBitInByteArrAnalysisConfigurationFile.java │ │ │ │ ├── RedisTransformBitInByteArrAndByzantineAnalysisConfigurationFile.java │ │ │ │ ├── RedisTransformBitInByteArrAndGRPCExceptionAnalysisConfigurationFile.java │ │ │ │ ├── RedisTransformStringAnalysisConfigurationFile.java │ │ │ │ ├── RedisTransformerTimeoutExceptionsAnalysisConfigurationFile.java │ │ │ │ └── byzantine │ │ │ │ ├── RedisSingleGetBasicStringByzantineFaultAnalysisConfigurationFile.java │ │ │ │ ├── RedisSingleGetByteArrByzantineFaultAnalysisConfigurationFile.java │ │ │ │ └── RedisSingleGetStringByzantineFaultAnalysisConfigurationFile.java │ │ │ └── grpc │ │ │ └── FilibusterGRPCNullTransformerAnalysisConfigurationFile.java │ │ ├── extensions │ │ └── FilibusterTestExtension.java │ │ ├── filters │ │ ├── FilibusterFaultInjectionFilter.java │ │ ├── NoopFilter.java │ │ └── WorldServiceFilter.java │ │ ├── formatters │ │ └── FilibusterTestDisplayNameFormatter.java │ │ ├── interceptors │ │ ├── FilibusterInvocationInterceptor.java │ │ ├── FilibusterInvocationInterceptorHelpers.java │ │ ├── FilibusterTestInvocationContext.java │ │ └── GitHubActionsSkipInvocationInterceptor.java │ │ ├── resolvers │ │ └── FilibusterIterationInfoParameterResolver.java │ │ ├── server │ │ ├── FilibusterServerAPI.java │ │ ├── FilibusterServerBackend.java │ │ ├── FilibusterServerLifecycle.java │ │ ├── backends │ │ │ ├── FilibusterDockerServerBackend.java │ │ │ ├── FilibusterLocalProcessServerBackend.java │ │ │ └── FilibusterLocalServerBackend.java │ │ ├── core │ │ │ ├── FilibusterCore.java │ │ │ ├── FilibusterCoreTransformerExtension.java │ │ │ ├── TestExecutionCollection.java │ │ │ ├── TestExecutionQueue.java │ │ │ ├── TestExecutionStack.java │ │ │ ├── lint │ │ │ │ └── analyzers │ │ │ │ │ ├── LCS.java │ │ │ │ │ ├── test_execution_report │ │ │ │ │ ├── IncompleteRPCAnalyzer.java │ │ │ │ │ ├── MultipleInvocationsForIndividualMutationsAnalyzer.java │ │ │ │ │ ├── RedundantRPCAnalyzer.java │ │ │ │ │ ├── ResponseBecomesRequestAnalyzer.java │ │ │ │ │ ├── TestExecutionReportAnalyzer.java │ │ │ │ │ └── UnimplementedFailuresAnalyzer.java │ │ │ │ │ └── warnings │ │ │ │ │ ├── FilibusterAnalyzerWarning.java │ │ │ │ │ ├── IncompleteRPCWarning.java │ │ │ │ │ ├── MultipleInvocationsForIndividualMutationsWarning.java │ │ │ │ │ ├── RedundantRPCWarning.java │ │ │ │ │ ├── ResponseBecomesRequestWarning.java │ │ │ │ │ └── UnimplementedFailuresWarning.java │ │ │ ├── profiles │ │ │ │ ├── ServiceProfile.java │ │ │ │ ├── ServiceProfileBehavior.java │ │ │ │ └── ServiceRequestAndResponse.java │ │ │ ├── reports │ │ │ │ ├── MaterializedTestExecutionReportMetadata.java │ │ │ │ ├── ReportUtilities.java │ │ │ │ ├── ServerInvocationAndResponse.java │ │ │ │ ├── ServerInvocationAndResponseReport.java │ │ │ │ ├── TestExecutionReport.java │ │ │ │ ├── TestReport.java │ │ │ │ └── TestSuiteReport.java │ │ │ ├── serializers │ │ │ │ ├── GeneratedMessageV3Serializer.java │ │ │ │ └── StatusSerializer.java │ │ │ ├── test_executions │ │ │ │ ├── AbstractTestExecution.java │ │ │ │ ├── ConcreteTestExecution.java │ │ │ │ └── TestExecution.java │ │ │ └── transformers │ │ │ │ ├── Accumulator.java │ │ │ │ ├── BitInByteArrTransformer.java │ │ │ │ ├── BooleanAsByteArrTransformer.java │ │ │ │ ├── BooleanAsStringTransformer.java │ │ │ │ ├── ByteArrByzantineValueTransformer.java │ │ │ │ ├── DBException.java │ │ │ │ ├── IntegerAsStringTransformer.java │ │ │ │ ├── JsonObjectAsByteArrTransformer.java │ │ │ │ ├── JsonObjectAsStringTransformer.java │ │ │ │ ├── JsonUtils.java │ │ │ │ ├── NullTransformer.java │ │ │ │ ├── RedisTimeoutExceptionTransformer.java │ │ │ │ ├── StringAsByteArrTransformer.java │ │ │ │ ├── StringBasicByzantineValueTransformer.java │ │ │ │ ├── StringByzantineValueTransformer.java │ │ │ │ ├── StringTransformer.java │ │ │ │ ├── Transformer.java │ │ │ │ └── selector │ │ │ │ ├── BooleanSelector.java │ │ │ │ ├── ByteArraySelector.java │ │ │ │ ├── GatewayTransformer.java │ │ │ │ ├── ObjectSelector.java │ │ │ │ ├── Selector.java │ │ │ │ ├── StringSelector.java │ │ │ │ └── UnknownTypeSelector.java │ │ ├── latency │ │ │ ├── Filibuster1000msLatencyProfile.java │ │ │ ├── FilibusterLatencyProfile.java │ │ │ └── FilibusterNoLatencyProfile.java │ │ └── local │ │ │ └── FilibusterServer.java │ │ └── statem │ │ ├── CompositeFaultSpecification.java │ │ ├── FilibusterGrpcTest.java │ │ ├── GrpcMock.java │ │ ├── GrpcTestUtils.java │ │ └── keys │ │ ├── CompositeFaultKey.java │ │ ├── FaultKey.java │ │ ├── FaultKeyType.java │ │ └── SingleFaultKey.java ├── proto │ └── hello.proto └── resources │ ├── fac │ ├── exhaustive.fac │ └── redisTimeoutExceptionTransformer.fac │ └── html │ ├── server_invocation_report │ └── index.html │ ├── test_execution_report │ └── index.html │ ├── test_report │ ├── index.html │ └── sidebar.html │ └── test_suite_report │ ├── disabled.html │ ├── filibuster.png │ ├── index.html │ └── waiting.html └── test └── java └── cloud └── filibuster ├── functional ├── JUnitBaseTest.java ├── database │ ├── cassandra │ │ └── JUnitCassandraFilibusterExecutionTest.java │ ├── dynamodb │ │ └── JUnitDynamoDBFilibusterListTablesTest.java │ ├── postgresql │ │ ├── JUnitCockroachDBInterceptorTest.java │ │ ├── JUnitCockroachDBTransformerTest.java │ │ ├── JUnitPostgreSQLInterceptorTest.java │ │ └── JUnitPostgresTransformerTest.java │ └── redis │ │ ├── BuggyFallbackByzantineTest.java │ │ ├── FilibusterRedisAsyncSetFailTest.java │ │ ├── JUnitRedisFilibusterByteArrGatewayTransformerTest.java │ │ ├── JUnitRedisFilibusterStringGatewayTransformerTest.java │ │ ├── RedisFilibusterAsyncGetTest.java │ │ ├── RedisFilibusterAsyncSetTest.java │ │ ├── RedisFilibusterByteArrTransformerTest.java │ │ ├── RedisFilibusterByzantineByteArrTest.java │ │ ├── RedisFilibusterByzantineStringTest.java │ │ ├── RedisFilibusterExhaustiveCoreExceptionsTest.java │ │ ├── RedisFilibusterExhaustiveExceptionAndStringTransformerDataNonDeterminismTest.java │ │ ├── RedisFilibusterExhaustiveExceptionAndStringTransformerTest.java │ │ ├── RedisFilibusterFaultyExhaustiveExceptionAndStringTransformerTest.java │ │ ├── RedisFilibusterRetryTest.java │ │ ├── RedisFilibusterStringTransformerTest.java │ │ ├── RedisFilibusterSyncGetDefaultTest.java │ │ ├── RedisFilibusterSyncGetNonExistingKeyTest.java │ │ ├── RedisFilibusterSyncGetTest.java │ │ ├── RedisFilibusterTrackedMethodsExceptionsTest.java │ │ ├── RedisFilibusterTransformerExceptionTest.java │ │ ├── RedisFilibusterTransformerExceptionWithAnalysisResourceFileTest.java │ │ ├── example │ │ └── applications │ │ │ ├── GetSessionLocationPositiveTest.java │ │ │ └── GetSessionNegativeTest.java │ │ ├── scenarios │ │ ├── FaultyRedisFaultFreeGRPCTest.java │ │ ├── FaultyRedisFaultFreeGRPCWithDataNondeterminismAndSuppressCombinationsTest.java │ │ ├── FaultyRedisFaultFreeGRPCWithDataNondeterminismTest.java │ │ ├── FaultyRedisFaultFreeGRPCWithSuppressCombinationsTest.java │ │ ├── FaultyRedisFaultyGRPCTest.java │ │ ├── FaultyRedisFaultyGRPCWithDataNondeterminismAndSuppressCombinationsTest.java │ │ ├── FaultyRedisFaultyGRPCWithDataNondeterminismTest.java │ │ ├── FaultyRedisFaultyGRPCWithSuppressCombinationsBFSTest.java │ │ ├── FaultyRedisFaultyGRPCWithSuppressCombinationsTest.java │ │ └── RedisFilibusterFaultyHasNextFalseStringTransformerTest.java │ │ └── transformers │ │ ├── FaultyStringTransformer.java │ │ ├── FaultyStringTransformerWithFalseHasNext.java │ │ └── configuration │ │ ├── FaultyHasNextFalseRedisTransformStringAnalysisConfigurationFile.java │ │ └── FaultyRedisTransformStringAnalysisConfigurationFile.java ├── docker │ ├── JUnitFilibusterDockerBackendTestBadImage.java │ ├── JUnitFilibusterDockerBackendTestBadImageExpected.java │ └── JUnitFilibusterDockerBackendTestCorrectImage.java ├── fake │ └── JUnitFilibusterTestWithServerFake.java ├── java │ ├── JUnitAnnotationBaseTest.java │ ├── analysis │ │ ├── MultipleInvocationsForIndividualMutationsTest.java │ │ ├── RedundantRPCTest.java │ │ ├── ResponseBecomesRequestTest.java │ │ ├── UnimplementedFailuresTest.java │ │ └── UnimplementedFailuresWithUnimplementedFaultTest.java │ ├── assertions │ │ ├── BasicAssertionTests.java │ │ ├── ExtendedAssertionTests.java │ │ ├── TryAndCatchGrpcExceptionsTest.java │ │ └── scope │ │ │ ├── with_digest │ │ │ ├── TestScopeWithExplicitContinuationTest.java │ │ │ ├── TestScopeWithMainBodyAssertionFailureTest.java │ │ │ └── TestScopeWithMainBodyConditionalAssertionFailureTest.java │ │ │ └── without_digest │ │ │ ├── TestScopeWithExplicitContinuationTest.java │ │ │ ├── TestScopeWithMainBodyAssertionFailureTest.java │ │ │ └── TestScopeWithMainBodyConditionalAssertionFailureTest.java │ ├── avoid │ │ ├── organic │ │ │ ├── RedundantByPropertyAvoidOrganicByAnnotationTest.java │ │ │ └── RedundantByPropertyAvoidOrganicByPropertyTest.java │ │ └── redundant │ │ │ ├── RedundantByAnnotationTest.java │ │ │ ├── RedundantByPropertyNegativeTest.java │ │ │ └── RedundantByPropertyTest.java │ ├── basic │ │ ├── AnalysisResourceFileBasicTest.java │ │ ├── AvoidOrganicByPropertyTest.java │ │ ├── BasicTest.java │ │ ├── BasicWithDeferTest.java │ │ ├── BasicWithSleepDeferTest.java │ │ ├── FailOrganicByPropertyTest.java │ │ ├── FailingTest.java │ │ ├── FilibusterNonPrimitiveTypeTest.java │ │ ├── FilterTest.java │ │ ├── GrpcMockTest.java │ │ ├── ServerInvocationReportTest.java │ │ ├── UnimplementedTest.java │ │ ├── WorldTest.java │ │ └── rpc │ │ │ └── RpcClientWithCircuitBreakerClientTest.java │ ├── bfs │ │ ├── JUnitFilibusterHelloHelloTest.java │ │ ├── JUnitFilibusterHelloPartialHelloTest.java │ │ ├── JUnitFilibusterHelloPartialHelloWithErrorHandlingTest.java │ │ └── JUnitFilibusterHelloUnimplementedTest.java │ ├── circuitbreaker │ │ ├── JUnitFilibusterCircuitBreakerTest.java │ │ └── JUnitFilibusterCircuitBreakerWithDescriptionTest.java │ ├── compositional │ │ └── JUnitFilibusterTestWithServiceFaultProfile.java │ ├── exhaustive │ │ └── JUnitFilibusterTestWithExhaustiveAnalysisFileByAnnotation.java │ ├── extended │ │ ├── JUnitFilibusterTestWithBasicAnalysisFileByAnnotation.java │ │ └── JUnitFilibusterTestWithNoBeforeEachOrAfterEach.java │ ├── grpc │ │ ├── JUnitFilibusterGrpcCodeWithDescriptionTest.java │ │ ├── JUnitFilibusterGrpcCodeWithoutCauseTest.java │ │ └── JUnitFilibusterTransformerGRPCTest.java │ ├── hello │ │ ├── JUnitFilibusterHelloHelloTest.java │ │ ├── JUnitFilibusterHelloPartialHelloTest.java │ │ ├── JUnitFilibusterHelloPartialHelloWithErrorHandlingTest.java │ │ ├── JUnitFilibusterHelloUnimplementedTest.java │ │ └── multiple │ │ │ ├── JUnitFilibusterHelloParallelPartialHelloTest.java │ │ │ ├── JUnitFilibusterHelloParallelSynchronousPartialHelloTest.java │ │ │ ├── JUnitFilibusterHelloPartialHelloExternalGrpcTest.java │ │ │ └── JUnitFilibusterHelloPartialHelloExternalHttpTest.java │ ├── http │ │ ├── ChunkedJsonTest.java │ │ ├── QueryStringTest.java │ │ └── WireMockHTTPTest.java │ ├── latency │ │ ├── JUnitFilibusterTestWithLatencyInjection.java │ │ ├── JUnitFilibusterTestWithLatencyInjectionWithFailure.java │ │ ├── JUnitFilibusterTestWithLatencyProfile.java │ │ └── JUnitFilibusterTestWithLatencyProfileAndLatencyInjection.java │ ├── nondeterministic │ │ ├── JUnitFilibusterDataNondeterminismTest.java │ │ └── JUnitFilibusterNoFaultsNoTerminationTest.java │ ├── properties │ │ ├── AnalysisResourceFileJUnitFilibusterTest.java │ │ ├── DataNondeterminismJUnitFilibusterTest.java │ │ ├── FailIfFaultNotInjectedAndATrackedMethodIsInvokedFalseTest.java │ │ ├── FailIfFaultNotInjectedAndATrackedMethodIsInvokedTrueTest.java │ │ ├── FailIfFaultNotInjectedFalseTest.java │ │ ├── FailIfFaultNotInjectedTrueTest.java │ │ ├── MaxIterationsJUnitFilibusterTest.java │ │ ├── RandomSeedJUnitTest.java │ │ ├── RedisPortNonDeterminismJUnitTest.java │ │ └── SuppressCombinationsJUnitFilibusterTest.java │ ├── purchase │ │ ├── PurchaseBaseTest.java │ │ ├── PurchaseWorkflow.java │ │ ├── PurchaseWorkflowWithPricingAdjustmentService.java │ │ ├── configurations │ │ │ └── GRPCAnalysisConfigurationFile.java │ │ └── tests │ │ │ ├── EndToEndFilibusterGrpcTest.java │ │ │ ├── EndToEndFilibusterGrpcWithPricingAdjustmentServiceTest.java │ │ │ ├── EndToEndWithSingleFilibusterGrpcTest.java │ │ │ └── scenarios │ │ │ ├── EndToEndFilibusterDiscountError200GrpcTest.java │ │ │ ├── EndToEndFilibusterDiscountError50GrpcTest.java │ │ │ ├── EndToEndFilibusterDiscountError700GrpcTest.java │ │ │ ├── EndToEndFilibusterNoDiscountGrpcTest.java │ │ │ ├── EndToEndFilibusterWithDiscountGrpcTest.java │ │ │ ├── EndToEndTest.java │ │ │ └── filter │ │ │ ├── EndToEndWithFilibusterGrpcTest.java │ │ │ └── PurchaseWorkflowFilter.java │ └── suppress_combinations │ │ ├── HelloParallelPartialHelloWithSuppressCombinationsTest.java │ │ ├── HelloPartialHelloExternalGrpcWithSuppressCombinationsTest.java │ │ └── HelloPartialHelloExternalHttpWithSuppressCombinationsTest.java ├── python │ ├── armeria │ │ └── JUnitFilibusterTestWithFailFastException.java │ ├── basic │ │ ├── JUnitFilibusterExternalHttpTest.java │ │ ├── JUnitFilibusterFailingTest.java │ │ ├── JUnitFilibusterHttpTest.java │ │ ├── JUnitFilibusterTest.java │ │ └── JUnitFilibusterUnimplementedTest.java │ ├── custom │ │ ├── JUnitFilibusterTestWithCustomAnalysisFile.java │ │ └── JUnitFilibusterTestWithCustomAnalysisFileAndGrpcClient.java │ ├── exhaustive │ │ ├── JUnitFilibusterTestWithExhaustiveAnalysisFile.java │ │ ├── JUnitFilibusterTestWithExhaustiveAnalysisFileByAnnotation.java │ │ └── JUnitFilibusterTestWithExhaustiveAnalysisFileMaxIterationsNotEnough.java │ ├── extended │ │ ├── JUnitFilibusterTestWithBasicAnalysisFileByAnnotation.java │ │ ├── JUnitFilibusterTestWithNoBeforeEachOrAfterEach.java │ │ └── JUnitFilibusterWorldExtendedHttpTest.java │ └── macros │ │ ├── JUnitFilibusterTestExtendedMacroAssertion.java │ │ └── JUnitFilibusterTestMacroAssertion.java └── shouldFails │ └── FilibusterFailureReportingAfterBlockTest.java ├── integration ├── examples │ ├── armeria │ │ ├── grpc │ │ │ ├── test_services │ │ │ │ ├── CassandraClientService.java │ │ │ │ ├── DynamoDBClientService.java │ │ │ │ ├── MyAPIService.java │ │ │ │ ├── MyHelloService.java │ │ │ │ ├── MyWorldService.java │ │ │ │ ├── RedisClientService.java │ │ │ │ └── postgresql │ │ │ │ │ ├── BasicDAO.java │ │ │ │ │ ├── CockroachClientService.java │ │ │ │ │ └── PostgreSQLClientService.java │ │ │ └── tests │ │ │ │ ├── decorators │ │ │ │ ├── HelloGrpcServerTest.java │ │ │ │ ├── HelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakeTest.java │ │ │ │ ├── HelloGrpcServerTestWithHelloAndWorldServerTest.java │ │ │ │ ├── HelloGrpcServerTestWithHelloServerTest.java │ │ │ │ └── scenarios │ │ │ │ │ ├── HelloGrpcServerTestWithHelloAndFilibusterServerFakeFalseAbortTest.java │ │ │ │ │ ├── HelloGrpcServerTestWithHelloAndFilibusterServerFakeFaultTest.java │ │ │ │ │ ├── HelloGrpcServerTestWithHelloAndFilibusterServerFakeNoFaultTest.java │ │ │ │ │ ├── HelloGrpcServerTestWithHelloAndFilibusterServerFakeWithCauseTest.java │ │ │ │ │ └── HelloGrpcServerTestWithHelloAndFilibusterServerFakeWithDescriptionTest.java │ │ │ │ └── interceptors │ │ │ │ ├── HelloGrpcServerTest.java │ │ │ │ ├── HelloGrpcServerTestWithHelloAndFilibusterServerFakeTest.java │ │ │ │ ├── HelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakeTest.java │ │ │ │ ├── HelloGrpcServerTestWithHelloAndWorldServerTest.java │ │ │ │ └── HelloGrpcServerTestWithHelloServerTest.java │ │ └── http │ │ │ └── tests │ │ │ ├── HelloServerTest.java │ │ │ ├── HelloServerWithHelloAndWorldAndFilibusterServerFakeMultithreadedTest.java │ │ │ ├── HelloServerWithHelloAndWorldAndFilibusterServerFakeTest.java │ │ │ ├── HelloServerWithHelloAndWorldServerTest.java │ │ │ └── HelloServerWithHelloServerTest.java │ └── test_servers │ │ ├── APIServer.java │ │ ├── ExternalServer.java │ │ ├── HelloServer.java │ │ └── WorldServer.java └── instrumentation │ ├── FilibusterBaseTest.java │ ├── FilibusterServerFake.java │ ├── TestHelper.java │ └── libraries │ ├── armeria │ └── http │ │ └── tests │ │ ├── FilibusterDecoratingHttpClientTest.java │ │ ├── FilibusterDecoratingHttpClientWithFaultInjectionTest.java │ │ ├── FilibusterDecoratingHttpServiceTest.java │ │ ├── FilibusterDecoratingHttpTest.java │ │ ├── available │ │ ├── FilibusterDecoratingHttpClientToAvailableServiceDistributedExecutionIndexTest.java │ │ ├── FilibusterDecoratingHttpClientToAvailableServiceTest.java │ │ └── FilibusterDecoratingHttpClientToAvailableServiceTestInstrumentationDisabledByProperty.java │ │ └── unavailable │ │ ├── FilibusterDecoratingHttpClientToUnavailableServiceTest.java │ │ ├── FilibusterDecoratingHttpClientToUnavailableServiceTestInstrumentationDisabled.java │ │ └── FilibusterDecoratingHttpClientToUnavailableServiceTestInstrumentationDisabledByProperty.java │ └── opentelemetry │ ├── GrpcRequest.java │ ├── OpenTelemetryContextStorage.java │ ├── OpenTelemetryContextStorageConstants.java │ ├── OpenTelemetryFilibusterClientInterceptor.java │ ├── OpenTelemetryFilibusterDecoratingHttpClient.java │ ├── OpenTelemetryFilibusterDecoratingHttpService.java │ ├── OpenTelemetryFilibusterServerInterceptor.java │ ├── OpenTelemetryHelloGrpcServerTest.java │ ├── OpenTelemetryHelloGrpcServerTestWithHelloAndWorldAndFilibusterServeFakerFullInstrumentationTest.java │ ├── OpenTelemetryHelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakeFullInstrumentationRaceDetectionTest.java │ ├── OpenTelemetryHelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakePartialInstrumentationRaceDetectionTest.java │ ├── OpenTelemetryHelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakePartialInstrumentationTest.java │ └── OpenTelemetryHelloServerWithHelloAndWorldAndFilibusterServerFakeTest.java └── unit ├── CounterexampleTest.java ├── CounterexampleTestWithPropertySet.java ├── CounterexampleTestWithPropertyUnset.java ├── DistributedExecutionIndexV1Test.java ├── FilibusterAnalysisTest.java ├── SerializersTest.java ├── ServiceProfileTest.java ├── TestExecutionTest.java ├── VectorClockTest.java └── databases ├── CassandraAccessTest.java ├── DynamoDBAccessTest.java ├── PostgreSQLAccessTest.java └── RedisAccessTest.java /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature_request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/.github/ISSUE_TEMPLATE/feature_request.md -------------------------------------------------------------------------------- /.github/workflows/00-package-sonatype.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/.github/workflows/00-package-sonatype.yaml -------------------------------------------------------------------------------- /.github/workflows/01-junit-unit.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/.github/workflows/01-junit-unit.yaml -------------------------------------------------------------------------------- /.github/workflows/02-junit-integration.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/.github/workflows/02-junit-integration.yaml -------------------------------------------------------------------------------- /.github/workflows/03-junit-functional-database-java.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/.github/workflows/03-junit-functional-database-java.yaml -------------------------------------------------------------------------------- /.github/workflows/03-junit-functional-java.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/.github/workflows/03-junit-functional-java.yaml -------------------------------------------------------------------------------- /.github/workflows/04-junit-functional-java-shouldfail.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/.github/workflows/04-junit-functional-java-shouldfail.yaml -------------------------------------------------------------------------------- /.github/workflows/100-javadoc.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/.github/workflows/100-javadoc.yaml -------------------------------------------------------------------------------- /.github/workflows/101-javadoc-publish.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/.github/workflows/101-javadoc-publish.yaml -------------------------------------------------------------------------------- /.github/workflows/99-junit-functional-docker.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/.github/workflows/99-junit-functional-docker.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/.gitignore -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/.vscode/tasks.json -------------------------------------------------------------------------------- /CHANGELOG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/CHANGELOG -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/README.md -------------------------------------------------------------------------------- /bin/runtests: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | 3 | clear; ./gradlew test -i --rerun-tasks 4 | 5 | -------------------------------------------------------------------------------- /bin/runtests-repeatedly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/bin/runtests-repeatedly -------------------------------------------------------------------------------- /counterexample.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/counterexample.json -------------------------------------------------------------------------------- /gradle.lockfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/gradle.lockfile -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/gradlew.bat -------------------------------------------------------------------------------- /settings.gradle: -------------------------------------------------------------------------------- 1 | rootProject.name = 'filibuster-java-instrumentation' 2 | 3 | -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/RpcType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/RpcType.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/daikon/DaikonPpt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/daikon/DaikonPpt.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/daikon/DaikonPptType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/daikon/DaikonPptType.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/daikon/ppt/DaikonGrpcProgramPointRecord.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/daikon/ppt/DaikonGrpcProgramPointRecord.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/daikon/ppt/DaikonGrpcProgramPointVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/daikon/ppt/DaikonGrpcProgramPointVariable.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/daikon/traces/DaikonGrpcDataTraceRecord.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/daikon/traces/DaikonGrpcDataTraceRecord.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/daikon/traces/DaikonGrpcDataTraceVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/daikon/traces/DaikonGrpcDataTraceVariable.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/dei/DistributedExecutionIndex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/dei/DistributedExecutionIndex.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/dei/DistributedExecutionIndexBase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/dei/DistributedExecutionIndexBase.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/dei/DistributedExecutionIndexKey.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/dei/DistributedExecutionIndexKey.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/dei/DistributedExecutionIndexType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/dei/DistributedExecutionIndexType.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/dei/implementations/DistributedExecutionIndexV1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/dei/implementations/DistributedExecutionIndexV1.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/CircuitBreakerException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/CircuitBreakerException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/distributed_execution_index/DistributedExecutionIndexCloneException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/distributed_execution_index/DistributedExecutionIndexCloneException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/distributed_execution_index/DistributedExecutionIndexSerializationException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/distributed_execution_index/DistributedExecutionIndexSerializationException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterAllowedTimeExceededException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterAllowedTimeExceededException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterAnalysisFailureException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterAnalysisFailureException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterAnalysisFileResourcePathException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterAnalysisFileResourcePathException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterCallsiteGenerationException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterCallsiteGenerationException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterCoreLogicException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterCoreLogicException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterDaikonRuntimeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterDaikonRuntimeException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterDeserializationError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterDeserializationError.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterFaultInjectionException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterFaultInjectionException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterFaultInjectionMismatchException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterFaultInjectionMismatchException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterFaultNotInjectedAndATrackedMethodInvokedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterFaultNotInjectedAndATrackedMethodInvokedException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterFaultNotInjectedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterFaultNotInjectedException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestInternalRuntimeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestInternalRuntimeException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcAmbiguousFailureHandlingException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcAmbiguousFailureHandlingException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcAmbiguousThrowAndErrorPropagationException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcAmbiguousThrowAndErrorPropagationException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcAssertOnFaultException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcAssertOnFaultException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcAssertTestBlockFailedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcAssertTestBlockFailedException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcAssertionUsedOutsideFailureBlockException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcAssertionUsedOutsideFailureBlockException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcAssertionsDidNotHoldUnderErrorResponseException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcAssertionsDidNotHoldUnderErrorResponseException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcAssertionsForAssertOnExceptionFailedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcAssertionsForAssertOnExceptionFailedException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcFailedRPCException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcFailedRPCException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcInjectedFaultHasUnspecifiedFailureBehaviorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcInjectedFaultHasUnspecifiedFailureBehaviorException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcInvokedRPCUnimplementedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcInvokedRPCUnimplementedException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcMissingAssertionForStatusCodeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcMissingAssertionForStatusCodeException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcMultipleFaultsInjectedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcMultipleFaultsInjectedException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcReadOnlyRPCUsedOutsideAssertOnExceptionAndAssertOnFaultException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcReadOnlyRPCUsedOutsideAssertOnExceptionAndAssertOnFaultException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcSideEffectingRPCUsedOutsideAssertOnExceptionAndAssertOnFaultException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcSideEffectingRPCUsedOutsideAssertOnExceptionAndAssertOnFaultException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcStubForUsedOutsideStubBlockException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcStubForUsedOutsideStubBlockException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcStubbedRPCHasNoAssertionsException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcStubbedRPCHasNoAssertionsException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcSuppressedStatusCodeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcSuppressedStatusCodeException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcTestRuntimeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcTestRuntimeException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcThrownExceptionHasUnspecifiedFailureBehaviorException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcThrownExceptionHasUnspecifiedFailureBehaviorException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcVerifyThatUsedOutsideAssertStubException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterGrpcTestRuntimeException/FilibusterGrpcVerifyThatUsedOutsideAssertStubException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterInstrumentationMissingDelegateException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterInstrumentationMissingDelegateException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterLatencyInjectionException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterLatencyInjectionException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterMessageSerializationException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterMessageSerializationException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterNoopException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterNoopException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterOrganicFailuresPresentException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterOrganicFailuresPresentException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterRuntimeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterRuntimeException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterServerBadResponseException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterServerBadResponseException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterServerNullException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterServerNullException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterServiceProfileLoadingException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterServiceProfileLoadingException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterServiceProfileReaderException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterServiceProfileReaderException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterServiceProfileWriterException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterServiceProfileWriterException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterTestReportWriterException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterTestReportWriterException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterTransformerException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterTransformerException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterUnknownCallsiteException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterUnknownCallsiteException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterUnsupportedAPIException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterUnsupportedAPIException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterUnsupportedByHTTPServerException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterUnsupportedByHTTPServerException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterUnsupportedCustomAnalysisFileException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterUnsupportedCustomAnalysisFileException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterUnsupportedServerBackendException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/filibuster/FilibusterUnsupportedServerBackendException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/transformer/TransformerNullResultException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/transformer/TransformerNullResultException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/transformer/TransformerRuntimeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/transformer/TransformerRuntimeException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/exceptions/vector_clock/VectorClockCloneException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/exceptions/vector_clock/VectorClockCloneException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/Constants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/Constants.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/datatypes/Callsite.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/datatypes/Callsite.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/datatypes/CallsiteArguments.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/datatypes/CallsiteArguments.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/datatypes/FilibusterExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/datatypes/FilibusterExecutor.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/datatypes/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/datatypes/Pair.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/datatypes/RequestId.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/datatypes/RequestId.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/datatypes/VectorClock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/datatypes/VectorClock.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/exceptions/CounterexampleFileDoesNotExistException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/exceptions/CounterexampleFileDoesNotExistException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/exceptions/CounterexampleInvalidException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/exceptions/CounterexampleInvalidException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/exceptions/CounterexampleIsNullException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/exceptions/CounterexampleIsNullException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/exceptions/EnvironmentMissingCounterexampleException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/exceptions/EnvironmentMissingCounterexampleException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/exceptions/FilibusterServerUnavailabilityException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/exceptions/FilibusterServerUnavailabilityException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/exceptions/MissingServiceSpecificationException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/exceptions/MissingServiceSpecificationException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/helpers/Counterexample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/helpers/Counterexample.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/helpers/Environment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/helpers/Environment.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/helpers/Hashing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/helpers/Hashing.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/helpers/Networking.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/helpers/Networking.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/helpers/Property.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/helpers/Property.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/helpers/Response.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/helpers/Response.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/instrumentors/FilibusterClientInstrumentor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/instrumentors/FilibusterClientInstrumentor.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/instrumentors/FilibusterContextHelpers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/instrumentors/FilibusterContextHelpers.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/instrumentors/FilibusterGrpcHeaders.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/instrumentors/FilibusterGrpcHeaders.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/instrumentors/FilibusterLocks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/instrumentors/FilibusterLocks.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/instrumentors/FilibusterServerInstrumentor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/instrumentors/FilibusterServerInstrumentor.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/instrumentors/FilibusterShared.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/instrumentors/FilibusterShared.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/libraries/armeria/http/FilibusterDecoratingHttpClient.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/libraries/armeria/http/FilibusterDecoratingHttpClient.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/libraries/armeria/http/FilibusterDecoratingHttpService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/libraries/armeria/http/FilibusterDecoratingHttpService.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/libraries/armeria/http/FilibusterNullDecoratingHttpClient.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/libraries/armeria/http/FilibusterNullDecoratingHttpClient.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/libraries/dynamic/proxy/DynamicProxyInterceptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/libraries/dynamic/proxy/DynamicProxyInterceptor.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/libraries/grpc/FilibusterClientInterceptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/libraries/grpc/FilibusterClientInterceptor.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/libraries/grpc/FilibusterServerInterceptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/libraries/grpc/FilibusterServerInterceptor.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/libraries/grpc/FilibusterServerInvocationInterceptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/libraries/grpc/FilibusterServerInvocationInterceptor.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/libraries/grpc/NoopClientCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/libraries/grpc/NoopClientCall.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/storage/ContextStorage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/storage/ContextStorage.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/instrumentation/storage/ThreadLocalContextStorage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/instrumentation/storage/ThreadLocalContextStorage.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/Assertions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/Assertions.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/FilibusterSearchStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/FilibusterSearchStrategy.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/FilibusterSystemProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/FilibusterSystemProperties.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/TestWithFilibuster.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/TestWithFilibuster.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/assertions/BlockType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/assertions/BlockType.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/assertions/Helpers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/assertions/Helpers.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/assertions/protocols/GenericAssertions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/assertions/protocols/GenericAssertions.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/assertions/protocols/GrpcAssertions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/assertions/protocols/GrpcAssertions.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/assertions/protocols/HttpAssertions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/assertions/protocols/HttpAssertions.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/FilibusterAnalysisConfiguration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/FilibusterAnalysisConfiguration.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/FilibusterAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/FilibusterAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/FilibusterConfiguration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/FilibusterConfiguration.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/FilibusterCustomAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/FilibusterCustomAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterCircuitBreakerOnlyAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterCircuitBreakerOnlyAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterCircuitBreakerWithCustomDescriptionOnlyAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterCircuitBreakerWithCustomDescriptionOnlyAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterDefaultAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterDefaultAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterGrpcBasicAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterGrpcBasicAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterGrpcBasicAnalysisWithDeferConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterGrpcBasicAnalysisWithDeferConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterGrpcBasicAnalysisWithSleepDeferConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterGrpcBasicAnalysisWithSleepDeferConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterGrpcCodeWithDescriptionAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterGrpcCodeWithDescriptionAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterGrpcCodeWithoutCauseAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterGrpcCodeWithoutCauseAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterGrpcExhaustiveAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterGrpcExhaustiveAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterLatencyOnlyAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterLatencyOnlyAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterSingleFaultUnavailableAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterSingleFaultUnavailableAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterSingleFaultUnimplementedAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterSingleFaultUnimplementedAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterWorldExtendedDefaultAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/FilibusterWorldExtendedDefaultAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/armeria/http/FilibusterHTTPNullTransformerAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/armeria/http/FilibusterHTTPNullTransformerAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/cassandra/CassandraAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/cassandra/CassandraAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/dynamodb/DynamoDBAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/dynamodb/DynamoDBAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/postgresql/PostgresAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/postgresql/PostgresAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/postgresql/PostgresTransformStringAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/postgresql/PostgresTransformStringAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/GrpcAndRedisStringExceptionAndTransformerAndByzantineAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/GrpcAndRedisStringExceptionAndTransformerAndByzantineAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisExhaustiveAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisExhaustiveAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisExhaustiveExceptionAndTransformerAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisExhaustiveExceptionAndTransformerAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisGatewayTransformerAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisGatewayTransformerAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisSingleFaultCommandInterruptedExceptionAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisSingleFaultCommandInterruptedExceptionAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisSingleFaultCommandTimeoutExceptionAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisSingleFaultCommandTimeoutExceptionAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisStringExceptionAndTransformerAndByzantineAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisStringExceptionAndTransformerAndByzantineAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisTrackedFunctionAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisTrackedFunctionAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisTransformBitInByteArrAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisTransformBitInByteArrAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisTransformBitInByteArrAndByzantineAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisTransformBitInByteArrAndByzantineAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisTransformBitInByteArrAndGRPCExceptionAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisTransformBitInByteArrAndGRPCExceptionAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisTransformStringAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisTransformStringAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisTransformerTimeoutExceptionsAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/RedisTransformerTimeoutExceptionsAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/byzantine/RedisSingleGetBasicStringByzantineFaultAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/byzantine/RedisSingleGetBasicStringByzantineFaultAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/byzantine/RedisSingleGetByteArrByzantineFaultAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/byzantine/RedisSingleGetByteArrByzantineFaultAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/byzantine/RedisSingleGetStringByzantineFaultAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/db/redis/byzantine/RedisSingleGetStringByzantineFaultAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/configuration/examples/grpc/FilibusterGRPCNullTransformerAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/configuration/examples/grpc/FilibusterGRPCNullTransformerAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/extensions/FilibusterTestExtension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/extensions/FilibusterTestExtension.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/filters/FilibusterFaultInjectionFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/filters/FilibusterFaultInjectionFilter.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/filters/NoopFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/filters/NoopFilter.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/filters/WorldServiceFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/filters/WorldServiceFilter.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/formatters/FilibusterTestDisplayNameFormatter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/formatters/FilibusterTestDisplayNameFormatter.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/interceptors/FilibusterInvocationInterceptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/interceptors/FilibusterInvocationInterceptor.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/interceptors/FilibusterInvocationInterceptorHelpers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/interceptors/FilibusterInvocationInterceptorHelpers.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/interceptors/FilibusterTestInvocationContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/interceptors/FilibusterTestInvocationContext.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/interceptors/GitHubActionsSkipInvocationInterceptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/interceptors/GitHubActionsSkipInvocationInterceptor.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/resolvers/FilibusterIterationInfoParameterResolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/resolvers/FilibusterIterationInfoParameterResolver.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/FilibusterServerAPI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/FilibusterServerAPI.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/FilibusterServerBackend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/FilibusterServerBackend.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/FilibusterServerLifecycle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/FilibusterServerLifecycle.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/backends/FilibusterDockerServerBackend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/backends/FilibusterDockerServerBackend.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/backends/FilibusterLocalProcessServerBackend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/backends/FilibusterLocalProcessServerBackend.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/backends/FilibusterLocalServerBackend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/backends/FilibusterLocalServerBackend.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/FilibusterCore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/FilibusterCore.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/FilibusterCoreTransformerExtension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/FilibusterCoreTransformerExtension.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/TestExecutionCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/TestExecutionCollection.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/TestExecutionQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/TestExecutionQueue.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/TestExecutionStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/TestExecutionStack.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/LCS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/LCS.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/test_execution_report/IncompleteRPCAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/test_execution_report/IncompleteRPCAnalyzer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/test_execution_report/MultipleInvocationsForIndividualMutationsAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/test_execution_report/MultipleInvocationsForIndividualMutationsAnalyzer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/test_execution_report/RedundantRPCAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/test_execution_report/RedundantRPCAnalyzer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/test_execution_report/ResponseBecomesRequestAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/test_execution_report/ResponseBecomesRequestAnalyzer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/test_execution_report/TestExecutionReportAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/test_execution_report/TestExecutionReportAnalyzer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/test_execution_report/UnimplementedFailuresAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/test_execution_report/UnimplementedFailuresAnalyzer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/warnings/FilibusterAnalyzerWarning.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/warnings/FilibusterAnalyzerWarning.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/warnings/IncompleteRPCWarning.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/warnings/IncompleteRPCWarning.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/warnings/MultipleInvocationsForIndividualMutationsWarning.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/warnings/MultipleInvocationsForIndividualMutationsWarning.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/warnings/RedundantRPCWarning.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/warnings/RedundantRPCWarning.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/warnings/ResponseBecomesRequestWarning.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/warnings/ResponseBecomesRequestWarning.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/warnings/UnimplementedFailuresWarning.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/lint/analyzers/warnings/UnimplementedFailuresWarning.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/profiles/ServiceProfile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/profiles/ServiceProfile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/profiles/ServiceProfileBehavior.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/profiles/ServiceProfileBehavior.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/profiles/ServiceRequestAndResponse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/profiles/ServiceRequestAndResponse.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/reports/MaterializedTestExecutionReportMetadata.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/reports/MaterializedTestExecutionReportMetadata.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/reports/ReportUtilities.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/reports/ReportUtilities.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/reports/ServerInvocationAndResponse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/reports/ServerInvocationAndResponse.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/reports/ServerInvocationAndResponseReport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/reports/ServerInvocationAndResponseReport.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/reports/TestExecutionReport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/reports/TestExecutionReport.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/reports/TestReport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/reports/TestReport.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/reports/TestSuiteReport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/reports/TestSuiteReport.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/serializers/GeneratedMessageV3Serializer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/serializers/GeneratedMessageV3Serializer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/serializers/StatusSerializer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/serializers/StatusSerializer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/test_executions/AbstractTestExecution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/test_executions/AbstractTestExecution.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/test_executions/ConcreteTestExecution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/test_executions/ConcreteTestExecution.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/test_executions/TestExecution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/test_executions/TestExecution.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/Accumulator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/Accumulator.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/BitInByteArrTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/BitInByteArrTransformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/BooleanAsByteArrTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/BooleanAsByteArrTransformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/BooleanAsStringTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/BooleanAsStringTransformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/ByteArrByzantineValueTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/ByteArrByzantineValueTransformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/DBException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/DBException.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/IntegerAsStringTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/IntegerAsStringTransformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/JsonObjectAsByteArrTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/JsonObjectAsByteArrTransformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/JsonObjectAsStringTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/JsonObjectAsStringTransformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/JsonUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/JsonUtils.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/NullTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/NullTransformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/RedisTimeoutExceptionTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/RedisTimeoutExceptionTransformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/StringAsByteArrTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/StringAsByteArrTransformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/StringBasicByzantineValueTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/StringBasicByzantineValueTransformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/StringByzantineValueTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/StringByzantineValueTransformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/StringTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/StringTransformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/Transformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/Transformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/selector/BooleanSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/selector/BooleanSelector.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/selector/ByteArraySelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/selector/ByteArraySelector.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/selector/GatewayTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/selector/GatewayTransformer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/selector/ObjectSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/selector/ObjectSelector.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/selector/Selector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/selector/Selector.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/selector/StringSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/selector/StringSelector.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/core/transformers/selector/UnknownTypeSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/core/transformers/selector/UnknownTypeSelector.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/latency/Filibuster1000msLatencyProfile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/latency/Filibuster1000msLatencyProfile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/latency/FilibusterLatencyProfile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/latency/FilibusterLatencyProfile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/latency/FilibusterNoLatencyProfile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/latency/FilibusterNoLatencyProfile.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/server/local/FilibusterServer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/server/local/FilibusterServer.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/statem/CompositeFaultSpecification.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/statem/CompositeFaultSpecification.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/statem/FilibusterGrpcTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/statem/FilibusterGrpcTest.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/statem/GrpcMock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/statem/GrpcMock.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/statem/GrpcTestUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/statem/GrpcTestUtils.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/statem/keys/CompositeFaultKey.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/statem/keys/CompositeFaultKey.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/statem/keys/FaultKey.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/statem/keys/FaultKey.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/statem/keys/FaultKeyType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/statem/keys/FaultKeyType.java -------------------------------------------------------------------------------- /src/main/java/cloud/filibuster/junit/statem/keys/SingleFaultKey.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/java/cloud/filibuster/junit/statem/keys/SingleFaultKey.java -------------------------------------------------------------------------------- /src/main/proto/hello.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/proto/hello.proto -------------------------------------------------------------------------------- /src/main/resources/fac/exhaustive.fac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/resources/fac/exhaustive.fac -------------------------------------------------------------------------------- /src/main/resources/fac/redisTimeoutExceptionTransformer.fac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/resources/fac/redisTimeoutExceptionTransformer.fac -------------------------------------------------------------------------------- /src/main/resources/html/server_invocation_report/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/resources/html/server_invocation_report/index.html -------------------------------------------------------------------------------- /src/main/resources/html/test_execution_report/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/resources/html/test_execution_report/index.html -------------------------------------------------------------------------------- /src/main/resources/html/test_report/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/resources/html/test_report/index.html -------------------------------------------------------------------------------- /src/main/resources/html/test_report/sidebar.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/resources/html/test_report/sidebar.html -------------------------------------------------------------------------------- /src/main/resources/html/test_suite_report/disabled.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/resources/html/test_suite_report/disabled.html -------------------------------------------------------------------------------- /src/main/resources/html/test_suite_report/filibuster.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/resources/html/test_suite_report/filibuster.png -------------------------------------------------------------------------------- /src/main/resources/html/test_suite_report/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/resources/html/test_suite_report/index.html -------------------------------------------------------------------------------- /src/main/resources/html/test_suite_report/waiting.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/main/resources/html/test_suite_report/waiting.html -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/JUnitBaseTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/JUnitBaseTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/cassandra/JUnitCassandraFilibusterExecutionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/cassandra/JUnitCassandraFilibusterExecutionTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/dynamodb/JUnitDynamoDBFilibusterListTablesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/dynamodb/JUnitDynamoDBFilibusterListTablesTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/postgresql/JUnitCockroachDBInterceptorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/postgresql/JUnitCockroachDBInterceptorTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/postgresql/JUnitCockroachDBTransformerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/postgresql/JUnitCockroachDBTransformerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/postgresql/JUnitPostgreSQLInterceptorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/postgresql/JUnitPostgreSQLInterceptorTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/postgresql/JUnitPostgresTransformerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/postgresql/JUnitPostgresTransformerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/BuggyFallbackByzantineTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/BuggyFallbackByzantineTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/FilibusterRedisAsyncSetFailTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/FilibusterRedisAsyncSetFailTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/JUnitRedisFilibusterByteArrGatewayTransformerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/JUnitRedisFilibusterByteArrGatewayTransformerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/JUnitRedisFilibusterStringGatewayTransformerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/JUnitRedisFilibusterStringGatewayTransformerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterAsyncGetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterAsyncGetTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterAsyncSetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterAsyncSetTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterByteArrTransformerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterByteArrTransformerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterByzantineByteArrTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterByzantineByteArrTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterByzantineStringTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterByzantineStringTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterExhaustiveCoreExceptionsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterExhaustiveCoreExceptionsTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterExhaustiveExceptionAndStringTransformerDataNonDeterminismTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterExhaustiveExceptionAndStringTransformerDataNonDeterminismTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterExhaustiveExceptionAndStringTransformerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterExhaustiveExceptionAndStringTransformerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterFaultyExhaustiveExceptionAndStringTransformerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterFaultyExhaustiveExceptionAndStringTransformerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterRetryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterRetryTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterStringTransformerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterStringTransformerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterSyncGetDefaultTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterSyncGetDefaultTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterSyncGetNonExistingKeyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterSyncGetNonExistingKeyTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterSyncGetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterSyncGetTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterTrackedMethodsExceptionsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterTrackedMethodsExceptionsTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterTransformerExceptionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterTransformerExceptionTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterTransformerExceptionWithAnalysisResourceFileTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/RedisFilibusterTransformerExceptionWithAnalysisResourceFileTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/example/applications/GetSessionLocationPositiveTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/example/applications/GetSessionLocationPositiveTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/example/applications/GetSessionNegativeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/example/applications/GetSessionNegativeTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultFreeGRPCTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultFreeGRPCTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultFreeGRPCWithDataNondeterminismAndSuppressCombinationsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultFreeGRPCWithDataNondeterminismAndSuppressCombinationsTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultFreeGRPCWithDataNondeterminismTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultFreeGRPCWithDataNondeterminismTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultFreeGRPCWithSuppressCombinationsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultFreeGRPCWithSuppressCombinationsTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultyGRPCTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultyGRPCTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultyGRPCWithDataNondeterminismAndSuppressCombinationsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultyGRPCWithDataNondeterminismAndSuppressCombinationsTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultyGRPCWithDataNondeterminismTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultyGRPCWithDataNondeterminismTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultyGRPCWithSuppressCombinationsBFSTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultyGRPCWithSuppressCombinationsBFSTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultyGRPCWithSuppressCombinationsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/scenarios/FaultyRedisFaultyGRPCWithSuppressCombinationsTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/scenarios/RedisFilibusterFaultyHasNextFalseStringTransformerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/scenarios/RedisFilibusterFaultyHasNextFalseStringTransformerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/transformers/FaultyStringTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/transformers/FaultyStringTransformer.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/transformers/FaultyStringTransformerWithFalseHasNext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/transformers/FaultyStringTransformerWithFalseHasNext.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/transformers/configuration/FaultyHasNextFalseRedisTransformStringAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/transformers/configuration/FaultyHasNextFalseRedisTransformStringAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/database/redis/transformers/configuration/FaultyRedisTransformStringAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/database/redis/transformers/configuration/FaultyRedisTransformStringAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/docker/JUnitFilibusterDockerBackendTestBadImage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/docker/JUnitFilibusterDockerBackendTestBadImage.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/docker/JUnitFilibusterDockerBackendTestBadImageExpected.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/docker/JUnitFilibusterDockerBackendTestBadImageExpected.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/docker/JUnitFilibusterDockerBackendTestCorrectImage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/docker/JUnitFilibusterDockerBackendTestCorrectImage.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/fake/JUnitFilibusterTestWithServerFake.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/fake/JUnitFilibusterTestWithServerFake.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/JUnitAnnotationBaseTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/JUnitAnnotationBaseTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/analysis/MultipleInvocationsForIndividualMutationsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/analysis/MultipleInvocationsForIndividualMutationsTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/analysis/RedundantRPCTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/analysis/RedundantRPCTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/analysis/ResponseBecomesRequestTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/analysis/ResponseBecomesRequestTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/analysis/UnimplementedFailuresTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/analysis/UnimplementedFailuresTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/analysis/UnimplementedFailuresWithUnimplementedFaultTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/analysis/UnimplementedFailuresWithUnimplementedFaultTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/assertions/BasicAssertionTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/assertions/BasicAssertionTests.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/assertions/ExtendedAssertionTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/assertions/ExtendedAssertionTests.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/assertions/TryAndCatchGrpcExceptionsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/assertions/TryAndCatchGrpcExceptionsTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/assertions/scope/with_digest/TestScopeWithExplicitContinuationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/assertions/scope/with_digest/TestScopeWithExplicitContinuationTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/assertions/scope/with_digest/TestScopeWithMainBodyAssertionFailureTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/assertions/scope/with_digest/TestScopeWithMainBodyAssertionFailureTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/assertions/scope/with_digest/TestScopeWithMainBodyConditionalAssertionFailureTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/assertions/scope/with_digest/TestScopeWithMainBodyConditionalAssertionFailureTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/assertions/scope/without_digest/TestScopeWithExplicitContinuationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/assertions/scope/without_digest/TestScopeWithExplicitContinuationTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/assertions/scope/without_digest/TestScopeWithMainBodyAssertionFailureTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/assertions/scope/without_digest/TestScopeWithMainBodyAssertionFailureTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/assertions/scope/without_digest/TestScopeWithMainBodyConditionalAssertionFailureTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/assertions/scope/without_digest/TestScopeWithMainBodyConditionalAssertionFailureTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/avoid/organic/RedundantByPropertyAvoidOrganicByAnnotationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/avoid/organic/RedundantByPropertyAvoidOrganicByAnnotationTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/avoid/organic/RedundantByPropertyAvoidOrganicByPropertyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/avoid/organic/RedundantByPropertyAvoidOrganicByPropertyTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/avoid/redundant/RedundantByAnnotationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/avoid/redundant/RedundantByAnnotationTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/avoid/redundant/RedundantByPropertyNegativeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/avoid/redundant/RedundantByPropertyNegativeTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/avoid/redundant/RedundantByPropertyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/avoid/redundant/RedundantByPropertyTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/basic/AnalysisResourceFileBasicTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/basic/AnalysisResourceFileBasicTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/basic/AvoidOrganicByPropertyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/basic/AvoidOrganicByPropertyTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/basic/BasicTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/basic/BasicTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/basic/BasicWithDeferTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/basic/BasicWithDeferTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/basic/BasicWithSleepDeferTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/basic/BasicWithSleepDeferTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/basic/FailOrganicByPropertyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/basic/FailOrganicByPropertyTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/basic/FailingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/basic/FailingTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/basic/FilibusterNonPrimitiveTypeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/basic/FilibusterNonPrimitiveTypeTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/basic/FilterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/basic/FilterTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/basic/GrpcMockTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/basic/GrpcMockTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/basic/ServerInvocationReportTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/basic/ServerInvocationReportTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/basic/UnimplementedTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/basic/UnimplementedTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/basic/WorldTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/basic/WorldTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/basic/rpc/RpcClientWithCircuitBreakerClientTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/basic/rpc/RpcClientWithCircuitBreakerClientTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/bfs/JUnitFilibusterHelloHelloTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/bfs/JUnitFilibusterHelloHelloTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/bfs/JUnitFilibusterHelloPartialHelloTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/bfs/JUnitFilibusterHelloPartialHelloTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/bfs/JUnitFilibusterHelloPartialHelloWithErrorHandlingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/bfs/JUnitFilibusterHelloPartialHelloWithErrorHandlingTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/bfs/JUnitFilibusterHelloUnimplementedTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/bfs/JUnitFilibusterHelloUnimplementedTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/circuitbreaker/JUnitFilibusterCircuitBreakerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/circuitbreaker/JUnitFilibusterCircuitBreakerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/circuitbreaker/JUnitFilibusterCircuitBreakerWithDescriptionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/circuitbreaker/JUnitFilibusterCircuitBreakerWithDescriptionTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/compositional/JUnitFilibusterTestWithServiceFaultProfile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/compositional/JUnitFilibusterTestWithServiceFaultProfile.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/exhaustive/JUnitFilibusterTestWithExhaustiveAnalysisFileByAnnotation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/exhaustive/JUnitFilibusterTestWithExhaustiveAnalysisFileByAnnotation.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/extended/JUnitFilibusterTestWithBasicAnalysisFileByAnnotation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/extended/JUnitFilibusterTestWithBasicAnalysisFileByAnnotation.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/extended/JUnitFilibusterTestWithNoBeforeEachOrAfterEach.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/extended/JUnitFilibusterTestWithNoBeforeEachOrAfterEach.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/grpc/JUnitFilibusterGrpcCodeWithDescriptionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/grpc/JUnitFilibusterGrpcCodeWithDescriptionTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/grpc/JUnitFilibusterGrpcCodeWithoutCauseTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/grpc/JUnitFilibusterGrpcCodeWithoutCauseTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/grpc/JUnitFilibusterTransformerGRPCTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/grpc/JUnitFilibusterTransformerGRPCTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/hello/JUnitFilibusterHelloHelloTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/hello/JUnitFilibusterHelloHelloTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/hello/JUnitFilibusterHelloPartialHelloTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/hello/JUnitFilibusterHelloPartialHelloTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/hello/JUnitFilibusterHelloPartialHelloWithErrorHandlingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/hello/JUnitFilibusterHelloPartialHelloWithErrorHandlingTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/hello/JUnitFilibusterHelloUnimplementedTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/hello/JUnitFilibusterHelloUnimplementedTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/hello/multiple/JUnitFilibusterHelloParallelPartialHelloTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/hello/multiple/JUnitFilibusterHelloParallelPartialHelloTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/hello/multiple/JUnitFilibusterHelloParallelSynchronousPartialHelloTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/hello/multiple/JUnitFilibusterHelloParallelSynchronousPartialHelloTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/hello/multiple/JUnitFilibusterHelloPartialHelloExternalGrpcTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/hello/multiple/JUnitFilibusterHelloPartialHelloExternalGrpcTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/hello/multiple/JUnitFilibusterHelloPartialHelloExternalHttpTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/hello/multiple/JUnitFilibusterHelloPartialHelloExternalHttpTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/http/ChunkedJsonTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/http/ChunkedJsonTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/http/QueryStringTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/http/QueryStringTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/http/WireMockHTTPTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/http/WireMockHTTPTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/latency/JUnitFilibusterTestWithLatencyInjection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/latency/JUnitFilibusterTestWithLatencyInjection.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/latency/JUnitFilibusterTestWithLatencyInjectionWithFailure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/latency/JUnitFilibusterTestWithLatencyInjectionWithFailure.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/latency/JUnitFilibusterTestWithLatencyProfile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/latency/JUnitFilibusterTestWithLatencyProfile.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/latency/JUnitFilibusterTestWithLatencyProfileAndLatencyInjection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/latency/JUnitFilibusterTestWithLatencyProfileAndLatencyInjection.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/nondeterministic/JUnitFilibusterDataNondeterminismTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/nondeterministic/JUnitFilibusterDataNondeterminismTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/nondeterministic/JUnitFilibusterNoFaultsNoTerminationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/nondeterministic/JUnitFilibusterNoFaultsNoTerminationTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/properties/AnalysisResourceFileJUnitFilibusterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/properties/AnalysisResourceFileJUnitFilibusterTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/properties/DataNondeterminismJUnitFilibusterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/properties/DataNondeterminismJUnitFilibusterTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/properties/FailIfFaultNotInjectedAndATrackedMethodIsInvokedFalseTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/properties/FailIfFaultNotInjectedAndATrackedMethodIsInvokedFalseTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/properties/FailIfFaultNotInjectedAndATrackedMethodIsInvokedTrueTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/properties/FailIfFaultNotInjectedAndATrackedMethodIsInvokedTrueTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/properties/FailIfFaultNotInjectedFalseTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/properties/FailIfFaultNotInjectedFalseTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/properties/FailIfFaultNotInjectedTrueTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/properties/FailIfFaultNotInjectedTrueTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/properties/MaxIterationsJUnitFilibusterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/properties/MaxIterationsJUnitFilibusterTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/properties/RandomSeedJUnitTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/properties/RandomSeedJUnitTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/properties/RedisPortNonDeterminismJUnitTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/properties/RedisPortNonDeterminismJUnitTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/properties/SuppressCombinationsJUnitFilibusterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/properties/SuppressCombinationsJUnitFilibusterTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/PurchaseBaseTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/PurchaseBaseTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/PurchaseWorkflow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/PurchaseWorkflow.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/PurchaseWorkflowWithPricingAdjustmentService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/PurchaseWorkflowWithPricingAdjustmentService.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/configurations/GRPCAnalysisConfigurationFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/configurations/GRPCAnalysisConfigurationFile.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/tests/EndToEndFilibusterGrpcTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/tests/EndToEndFilibusterGrpcTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/tests/EndToEndFilibusterGrpcWithPricingAdjustmentServiceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/tests/EndToEndFilibusterGrpcWithPricingAdjustmentServiceTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/tests/EndToEndWithSingleFilibusterGrpcTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/tests/EndToEndWithSingleFilibusterGrpcTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/EndToEndFilibusterDiscountError200GrpcTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/EndToEndFilibusterDiscountError200GrpcTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/EndToEndFilibusterDiscountError50GrpcTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/EndToEndFilibusterDiscountError50GrpcTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/EndToEndFilibusterDiscountError700GrpcTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/EndToEndFilibusterDiscountError700GrpcTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/EndToEndFilibusterNoDiscountGrpcTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/EndToEndFilibusterNoDiscountGrpcTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/EndToEndFilibusterWithDiscountGrpcTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/EndToEndFilibusterWithDiscountGrpcTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/EndToEndTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/EndToEndTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/filter/EndToEndWithFilibusterGrpcTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/filter/EndToEndWithFilibusterGrpcTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/filter/PurchaseWorkflowFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/purchase/tests/scenarios/filter/PurchaseWorkflowFilter.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/suppress_combinations/HelloParallelPartialHelloWithSuppressCombinationsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/suppress_combinations/HelloParallelPartialHelloWithSuppressCombinationsTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/suppress_combinations/HelloPartialHelloExternalGrpcWithSuppressCombinationsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/suppress_combinations/HelloPartialHelloExternalGrpcWithSuppressCombinationsTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/java/suppress_combinations/HelloPartialHelloExternalHttpWithSuppressCombinationsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/java/suppress_combinations/HelloPartialHelloExternalHttpWithSuppressCombinationsTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/armeria/JUnitFilibusterTestWithFailFastException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/armeria/JUnitFilibusterTestWithFailFastException.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/basic/JUnitFilibusterExternalHttpTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/basic/JUnitFilibusterExternalHttpTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/basic/JUnitFilibusterFailingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/basic/JUnitFilibusterFailingTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/basic/JUnitFilibusterHttpTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/basic/JUnitFilibusterHttpTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/basic/JUnitFilibusterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/basic/JUnitFilibusterTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/basic/JUnitFilibusterUnimplementedTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/basic/JUnitFilibusterUnimplementedTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/custom/JUnitFilibusterTestWithCustomAnalysisFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/custom/JUnitFilibusterTestWithCustomAnalysisFile.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/custom/JUnitFilibusterTestWithCustomAnalysisFileAndGrpcClient.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/custom/JUnitFilibusterTestWithCustomAnalysisFileAndGrpcClient.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/exhaustive/JUnitFilibusterTestWithExhaustiveAnalysisFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/exhaustive/JUnitFilibusterTestWithExhaustiveAnalysisFile.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/exhaustive/JUnitFilibusterTestWithExhaustiveAnalysisFileByAnnotation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/exhaustive/JUnitFilibusterTestWithExhaustiveAnalysisFileByAnnotation.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/exhaustive/JUnitFilibusterTestWithExhaustiveAnalysisFileMaxIterationsNotEnough.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/exhaustive/JUnitFilibusterTestWithExhaustiveAnalysisFileMaxIterationsNotEnough.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/extended/JUnitFilibusterTestWithBasicAnalysisFileByAnnotation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/extended/JUnitFilibusterTestWithBasicAnalysisFileByAnnotation.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/extended/JUnitFilibusterTestWithNoBeforeEachOrAfterEach.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/extended/JUnitFilibusterTestWithNoBeforeEachOrAfterEach.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/extended/JUnitFilibusterWorldExtendedHttpTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/extended/JUnitFilibusterWorldExtendedHttpTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/macros/JUnitFilibusterTestExtendedMacroAssertion.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/macros/JUnitFilibusterTestExtendedMacroAssertion.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/python/macros/JUnitFilibusterTestMacroAssertion.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/python/macros/JUnitFilibusterTestMacroAssertion.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/functional/shouldFails/FilibusterFailureReportingAfterBlockTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/functional/shouldFails/FilibusterFailureReportingAfterBlockTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/CassandraClientService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/CassandraClientService.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/DynamoDBClientService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/DynamoDBClientService.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/MyAPIService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/MyAPIService.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/MyHelloService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/MyHelloService.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/MyWorldService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/MyWorldService.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/RedisClientService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/RedisClientService.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/postgresql/BasicDAO.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/postgresql/BasicDAO.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/postgresql/CockroachClientService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/postgresql/CockroachClientService.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/postgresql/PostgreSQLClientService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/test_services/postgresql/PostgreSQLClientService.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/HelloGrpcServerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/HelloGrpcServerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/HelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/HelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakeTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/HelloGrpcServerTestWithHelloAndWorldServerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/HelloGrpcServerTestWithHelloAndWorldServerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/HelloGrpcServerTestWithHelloServerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/HelloGrpcServerTestWithHelloServerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/scenarios/HelloGrpcServerTestWithHelloAndFilibusterServerFakeFalseAbortTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/scenarios/HelloGrpcServerTestWithHelloAndFilibusterServerFakeFalseAbortTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/scenarios/HelloGrpcServerTestWithHelloAndFilibusterServerFakeFaultTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/scenarios/HelloGrpcServerTestWithHelloAndFilibusterServerFakeFaultTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/scenarios/HelloGrpcServerTestWithHelloAndFilibusterServerFakeNoFaultTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/scenarios/HelloGrpcServerTestWithHelloAndFilibusterServerFakeNoFaultTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/scenarios/HelloGrpcServerTestWithHelloAndFilibusterServerFakeWithCauseTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/scenarios/HelloGrpcServerTestWithHelloAndFilibusterServerFakeWithCauseTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/scenarios/HelloGrpcServerTestWithHelloAndFilibusterServerFakeWithDescriptionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/decorators/scenarios/HelloGrpcServerTestWithHelloAndFilibusterServerFakeWithDescriptionTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/interceptors/HelloGrpcServerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/interceptors/HelloGrpcServerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/interceptors/HelloGrpcServerTestWithHelloAndFilibusterServerFakeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/interceptors/HelloGrpcServerTestWithHelloAndFilibusterServerFakeTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/interceptors/HelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/interceptors/HelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakeTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/interceptors/HelloGrpcServerTestWithHelloAndWorldServerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/interceptors/HelloGrpcServerTestWithHelloAndWorldServerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/interceptors/HelloGrpcServerTestWithHelloServerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/grpc/tests/interceptors/HelloGrpcServerTestWithHelloServerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/http/tests/HelloServerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/http/tests/HelloServerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/http/tests/HelloServerWithHelloAndWorldAndFilibusterServerFakeMultithreadedTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/http/tests/HelloServerWithHelloAndWorldAndFilibusterServerFakeMultithreadedTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/http/tests/HelloServerWithHelloAndWorldAndFilibusterServerFakeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/http/tests/HelloServerWithHelloAndWorldAndFilibusterServerFakeTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/http/tests/HelloServerWithHelloAndWorldServerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/http/tests/HelloServerWithHelloAndWorldServerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/armeria/http/tests/HelloServerWithHelloServerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/armeria/http/tests/HelloServerWithHelloServerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/test_servers/APIServer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/test_servers/APIServer.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/test_servers/ExternalServer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/test_servers/ExternalServer.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/test_servers/HelloServer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/test_servers/HelloServer.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/examples/test_servers/WorldServer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/examples/test_servers/WorldServer.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/FilibusterBaseTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/FilibusterBaseTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/FilibusterServerFake.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/FilibusterServerFake.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/TestHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/TestHelper.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/FilibusterDecoratingHttpClientTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/FilibusterDecoratingHttpClientTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/FilibusterDecoratingHttpClientWithFaultInjectionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/FilibusterDecoratingHttpClientWithFaultInjectionTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/FilibusterDecoratingHttpServiceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/FilibusterDecoratingHttpServiceTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/FilibusterDecoratingHttpTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/FilibusterDecoratingHttpTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/available/FilibusterDecoratingHttpClientToAvailableServiceDistributedExecutionIndexTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/available/FilibusterDecoratingHttpClientToAvailableServiceDistributedExecutionIndexTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/available/FilibusterDecoratingHttpClientToAvailableServiceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/available/FilibusterDecoratingHttpClientToAvailableServiceTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/available/FilibusterDecoratingHttpClientToAvailableServiceTestInstrumentationDisabledByProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/available/FilibusterDecoratingHttpClientToAvailableServiceTestInstrumentationDisabledByProperty.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/unavailable/FilibusterDecoratingHttpClientToUnavailableServiceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/unavailable/FilibusterDecoratingHttpClientToUnavailableServiceTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/unavailable/FilibusterDecoratingHttpClientToUnavailableServiceTestInstrumentationDisabled.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/unavailable/FilibusterDecoratingHttpClientToUnavailableServiceTestInstrumentationDisabled.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/unavailable/FilibusterDecoratingHttpClientToUnavailableServiceTestInstrumentationDisabledByProperty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/armeria/http/tests/unavailable/FilibusterDecoratingHttpClientToUnavailableServiceTestInstrumentationDisabledByProperty.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/GrpcRequest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/GrpcRequest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryContextStorage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryContextStorage.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryContextStorageConstants.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryContextStorageConstants.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryFilibusterClientInterceptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryFilibusterClientInterceptor.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryFilibusterDecoratingHttpClient.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryFilibusterDecoratingHttpClient.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryFilibusterDecoratingHttpService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryFilibusterDecoratingHttpService.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryFilibusterServerInterceptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryFilibusterServerInterceptor.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryHelloGrpcServerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryHelloGrpcServerTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryHelloGrpcServerTestWithHelloAndWorldAndFilibusterServeFakerFullInstrumentationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryHelloGrpcServerTestWithHelloAndWorldAndFilibusterServeFakerFullInstrumentationTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryHelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakeFullInstrumentationRaceDetectionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryHelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakeFullInstrumentationRaceDetectionTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryHelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakePartialInstrumentationRaceDetectionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryHelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakePartialInstrumentationRaceDetectionTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryHelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakePartialInstrumentationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryHelloGrpcServerTestWithHelloAndWorldAndFilibusterServerFakePartialInstrumentationTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryHelloServerWithHelloAndWorldAndFilibusterServerFakeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/integration/instrumentation/libraries/opentelemetry/OpenTelemetryHelloServerWithHelloAndWorldAndFilibusterServerFakeTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/unit/CounterexampleTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/unit/CounterexampleTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/unit/CounterexampleTestWithPropertySet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/unit/CounterexampleTestWithPropertySet.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/unit/CounterexampleTestWithPropertyUnset.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/unit/CounterexampleTestWithPropertyUnset.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/unit/DistributedExecutionIndexV1Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/unit/DistributedExecutionIndexV1Test.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/unit/FilibusterAnalysisTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/unit/FilibusterAnalysisTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/unit/SerializersTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/unit/SerializersTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/unit/ServiceProfileTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/unit/ServiceProfileTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/unit/TestExecutionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/unit/TestExecutionTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/unit/VectorClockTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/unit/VectorClockTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/unit/databases/CassandraAccessTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/unit/databases/CassandraAccessTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/unit/databases/DynamoDBAccessTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/unit/databases/DynamoDBAccessTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/unit/databases/PostgreSQLAccessTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/unit/databases/PostgreSQLAccessTest.java -------------------------------------------------------------------------------- /src/test/java/cloud/filibuster/unit/databases/RedisAccessTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/filibuster-testing/filibuster-java-instrumentation/HEAD/src/test/java/cloud/filibuster/unit/databases/RedisAccessTest.java --------------------------------------------------------------------------------