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. |
|
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. |
|
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. |
Click to show internal directories.
Click to hide internal directories.