testgen command

Generate a test program for the public procedures of a module: a compile-checked skeleton from facts, completed by the LLM, built and run in a scratch copy of the project, and kept only when it builds, runs and checks something.

fobis testgen MODULE [options]

How to use it, with examples: AI assistance.

All options

Arguments: MODULE

Option	Value	Default	Description
--fobos, -f	TEXT		Specify a "fobos" file named differently from "fobos"
--fci			Assume fobos inputs as case insensitive
--mode	TEXT		Select a mode defined into a fobos file
--src, -s	TEXT		Root-directory of source files [default: ./]
--procedure, -p	TEXT		Test only this public procedure or generic (repeatable).
--max	INTEGER		Test at most this many procedures [default: 8 with the model, all with --skeleton].
--skeleton			No model: the compile-checked skeleton (declarations and calls, no checks) only.
--context			Print what the model would receive, run no model.
--apply			Write the accepted program to the test directory (fobos [test] test_dir, default test/) as test_<module>.f90; an existing file is never overwritten.
--output, -o	TEXT		With --apply, write to this path instead.
--retries	INTEGER	3	Attempts after the first one, each with the errors of the previous.
--timeout	FLOAT	60.0	Seconds a test program may run.
--format	TEXT	text	Output format: text or json.