directory
0.0.0-20230226003218-1dd1f65bfa42
Repository: https://github.com/c4-project/c4t.git
Documentation: pkg.go.dev

# Packages

Package analyser represents the stage of the tester that takes a plan, performs various statistics on it, and outputs reports.
Package fuzzer contains a test-plan batch fuzzer.
Package invoker handles invoking the 'mach' stage in a network-transparent manner with the c4t-mach binary.
Package lifter contains the part of the tester framework that lifts litmus tests to compilable C.
Package mach contains the 'machine-dependent' stage of the tester.
Package perturber contains the logic for the test perturber.
Package planner contains the logic for the test planner.