Index of /s/sys/buster-libre-soc/home/mdasoh/src/hdl_tools/cvc5/test/regress/cli/regress0/options

	Name	Last modified	Size	Description
	Parent Directory		-
	ast-and-sexpr.smt2	2024-09-15 02:50	242
	didyoumean.smt2	2024-09-15 02:50	165
	help.smt2	2024-09-15 02:50	102
	interactive-mode.smt2	2024-09-15 02:50	264
	named_muted.smt2	2024-09-15 02:50	134
	set-after-init.smt2	2024-09-15 02:50	553
	set-and-get-options.smt2	2024-09-15 02:50	295
	statistics.smt2	2024-09-15 02:50	1.0K
	stream-printing.smt2	2024-09-15 02:50	423
	version.smt2	2024-09-15 02:50	99