internal/

directory
Version: v0.0.0-...-0d16973 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Aug 10, 2021 License: MIT

Directories

Path Synopsis
app
config
Package config implements the c4f-config app.
Package config implements the c4f-config app.
coverage
Package coverage contains the app definition for c4t-coverage.
Package coverage contains the app definition for c4t-coverage.
director
Package director contains the app definition for c4t ('the director').
Package director contains the app definition for c4t ('the director').
fuzz
Package fuzz contains the app definition for c4t-fuzz.
Package fuzz contains the app definition for c4t-fuzz.
gccnt
Package gccnt contains the app definition for c4t-gccnt.
Package gccnt contains the app definition for c4t-gccnt.
invoke
Package invoker contains the app definition for c4t-invoke.
Package invoker contains the app definition for c4t-invoke.
lift
Package lift contains the app definition for c4t-lift.
Package lift contains the app definition for c4t-lift.
mach
Package mach contains the app definition for c4t-mach.
Package mach contains the app definition for c4t-mach.
mkdoc
Package mkdoc contains the app definition for c4t-mkdoc.
Package mkdoc contains the app definition for c4t-mkdoc.
obs
perturb
Package perturb contains the app definition for c4t-perturb.
Package perturb contains the app definition for c4t-perturb.
plan
Package plan contains the app definition for c4t-plan.
Package plan contains the app definition for c4t-plan.
setc
Package setc contains the app definition for c4t-setc.
Package setc contains the app definition for c4t-setc.
Package c4f contains wrappers for the external c4f programs.
Package c4f contains wrappers for the external c4f programs.
Package config describes the top-level tester configuration.
Package config describes the top-level tester configuration.
pretty
Package pretty contains pretty-printers for configuration.
Package pretty contains pretty-printers for configuration.
Package copier provides a mockable interface for network-transparent(ish) file copying, and implementations thereof.
Package copier provides a mockable interface for network-transparent(ish) file copying, and implementations thereof.
Package coverage contains helpers for building compiler coverage reports.
Package coverage contains helpers for building compiler coverage reports.
Package director contains the top-level C4 test director, which manages a full testing campaign.
Package director contains the top-level C4 test director, which manages a full testing campaign.
pathset
Package pathset contains the various path-sets for the director.
Package pathset contains the various path-sets for the director.
helper
errhelp
Package errhelp contains error helper functions.
Package errhelp contains error helper functions.
srvrun
Package srvrun contains various ways to run, or pretend to run, services.
Package srvrun contains various ways to run, or pretend to run, services.
stringhelp
Package stringhelp contains various helpers for strings and collections thereof.
Package stringhelp contains various helpers for strings and collections thereof.
testhelp
Package testhelp contains test helpers.
Package testhelp contains test helpers.
Package id describes C4's dot-delimited IDs.
Package id describes C4's dot-delimited IDs.
Package machine contains models for compiler-bearing machines.
Package machine contains models for compiler-bearing machines.
model
filekind
Package filekind contains types for dealing with the various 'kinds' of file present in a subject.
Package filekind contains types for dealing with the various 'kinds' of file present in a subject.
litmus
Package litmus contains model structs and associated functions for Litmus test entries.
Package litmus contains model structs and associated functions for Litmus test entries.
recipe
Package recipe contains 'recipes': instructions to the machine node on how to compile a subject.
Package recipe contains 'recipes': instructions to the machine node on how to compile a subject.
service
Package service contains models for backends and compilers (external services, hence the name).
Package service contains models for backends and compilers (external services, hence the name).
service/backend
Package backend contains style-to-backend resolution.
Package backend contains style-to-backend resolution.
service/compiler
Package compiler contains types for compilers, which are a particular type of service.
Package compiler contains types for compilers, which are a particular type of service.
service/compiler/optlevel
Package optlevel contains types that capture information about compiler optimisation levels.
Package optlevel contains types that capture information about compiler optimisation levels.
service/fuzzer
Package fuzzer considers fuzzers as services.
Package fuzzer considers fuzzers as services.
Package mutation contains support for mutation testing using c4t.
Package mutation contains support for mutation testing using c4t.
Package observing contains plumbing for the tester's implementation of the observer pattern.
Package observing contains plumbing for the tester's implementation of the observer pattern.
Package plan contains the Plan type, as well as various parts of plans that don't warrant their own packages.
Package plan contains the Plan type, as well as various parts of plans that don't warrant their own packages.
analysis
Package analysis handles analysing a Corpus and filing its subjects into categorised sub-corpora.
Package analysis handles analysing a Corpus and filing its subjects into categorised sub-corpora.
stage
Package stage contains plan metadata describing which stages of a test cycle have occurred.
Package stage contains plan metadata describing which stages of a test cycle have occurred.
Package quantity contains the quantity sets for various parts of the tester.
Package quantity contains the quantity sets for various parts of the tester.
Package remote provides helpers for dealing with remote test operations over SSH and SCP.
Package remote provides helpers for dealing with remote test operations over SSH and SCP.
Package serviceimpl contains implementations of compiler and backend services, as well as hard-coded logic for resolving them from style IDs.
Package serviceimpl contains implementations of compiler and backend services, as well as hard-coded logic for resolving them from style IDs.
backend/delitmus
Package delitmus lifts the c4f delitmusifier into a backend.
Package delitmus lifts the c4f delitmusifier into a backend.
backend/herdstyle
Package herdstyle contains backends that c4f in a similar way to the Herd memory simulator.
Package herdstyle contains backends that c4f in a similar way to the Herd memory simulator.
backend/herdstyle/herd
Package herd contains the parts of a Herdtools backend specific to herd7.
Package herd contains the parts of a Herdtools backend specific to herd7.
backend/herdstyle/litmus
Package litmus contains the parts of a Herdtools backend specific to litmus7.
Package litmus contains the parts of a Herdtools backend specific to litmus7.
backend/herdstyle/parser
Package parser contains logic for parsing Herd-style observations.
Package parser contains logic for parsing Herd-style observations.
backend/herdstyle/rmem
Package rmem implements rudimentary backend support for RMEM.
Package rmem implements rudimentary backend support for RMEM.
compiler
Package compiler contains style-to-compiler resolution.
Package compiler contains style-to-compiler resolution.
stage
analyser
Package analyser represents the stage of the tester that takes a plan, performs various statistics on it, and outputs reports.
Package analyser represents the stage of the tester that takes a plan, performs various statistics on it, and outputs reports.
analyser/csvdump
Package csvdump handles outputting of analysis data as CSVs.
Package csvdump handles outputting of analysis data as CSVs.
analyser/pretty
Package pretty provides a pretty-printer for analyses.
Package pretty provides a pretty-printer for analyses.
analyser/saver
Package saver contains the part of the analyser that uses the analyser to save failing tests.
Package saver contains the part of the analyser that uses the analyser to save failing tests.
fuzzer
Package fuzzer contains a test-plan batch fuzzer.
Package fuzzer contains a test-plan batch fuzzer.
invoker
Package invoker handles invoking the 'mach' stage in a network-transparent manner with the c4t-mach binary.
Package invoker handles invoking the 'mach' stage in a network-transparent manner with the c4t-mach binary.
invoker/runner
Package runner contains low-level code for running the machine node via SSH and locally.
Package runner contains low-level code for running the machine node via SSH and locally.
lifter
Package lifter contains the part of the tester framework that lifts litmus tests to compilable C.
Package lifter contains the part of the tester framework that lifts litmus tests to compilable C.
mach
Package mach contains the 'machine-dependent' stage of the tester.
Package mach contains the 'machine-dependent' stage of the tester.
mach/compiler
Package compiler contains a test-plan batch compiler.
Package compiler contains a test-plan batch compiler.
mach/forward
Package forward describes the JSON-based protocol used to 'forward' messages and errors from a machine node to its invoker, potentially over SSH.
Package forward describes the JSON-based protocol used to 'forward' messages and errors from a machine node to its invoker, potentially over SSH.
mach/interpreter
Package interpreter contains the recipe interpreter for the machine node.
Package interpreter contains the recipe interpreter for the machine node.
mach/observer
Package observer contains interfaces and types for machine node observers.
Package observer contains interfaces and types for machine node observers.
mach/runner
Package runner contains the part of c4t that runs compiled test binaries and interprets their output.
Package runner contains the part of c4t that runs compiled test binaries and interprets their output.
perturber
Package perturber contains the logic for the test perturber.
Package perturber contains the logic for the test perturber.
planner
Package planner contains the logic for the test planner.
Package planner contains the logic for the test planner.
Package stat implements c4t's persistent statistics support.
Package stat implements c4t's persistent statistics support.
compilation
Package compilation contains types and functions for dealing with 'compilations': subject/compiler products.
Package compilation contains types and functions for dealing with 'compilations': subject/compiler products.
corpus
Package corpus concerns test corpora (collections of named subjects).
Package corpus concerns test corpora (collections of named subjects).
corpus/builder
Package builder describes a set of types and methods for building corpora asynchronously.
Package builder describes a set of types and methods for building corpora asynchronously.
normaliser
Package normaliser provides utilities for archiving and transferring plans, corpora, and subjects.
Package normaliser provides utilities for archiving and transferring plans, corpora, and subjects.
normpath
Package normpath contains various 'normalised path' fragments, and functions for constructing them.
Package normpath contains various 'normalised path' fragments, and functions for constructing them.
obs
Package obs concerns 'observations': the end result of running a test on a particular machine.
Package obs concerns 'observations': the end result of running a test on a particular machine.
Package tabulator provides a generic interface for tabulating data (to CSV, to tabwriter, etc).
Package tabulator provides a generic interface for tabulating data (to CSV, to tabwriter, etc).
Package timing contains helpers for tracking and recording timings.
Package timing contains helpers for tracking and recording timings.
tool
gccnt
Package gccnt implements the "GCCn't" wrapper over GCC-style compilers.
Package gccnt implements the "GCCn't" wrapper over GCC-style compilers.
ux
Package ux contains functions and types for human-readable views and observers on parts of c4t, as well as various common 'user experience' functions such as standard flag parsers.
Package ux contains functions and types for human-readable views and observers on parts of c4t, as well as various common 'user experience' functions such as standard flag parsers.
dash
Package dash contains the c4t console dashboard.
Package dash contains the c4t console dashboard.
directorobs
Package directorobs contains a pre-packaged observer set for the test director.
Package directorobs contains a pre-packaged observer set for the test director.
singleobs
Package singleobs contains observer implementations for use in the 'single-shot' c4t commands.
Package singleobs contains observer implementations for use in the 'single-shot' c4t commands.
stdflag
Package stdflag contains standard command-line flag code for c4t binaries.
Package stdflag contains standard command-line flag code for c4t binaries.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL