lfscc - Man Page
SMT proof checker
Synopsis
lfscc [options] infile1 ...infile_n
Description
If no infiles are named on the command line, input is read from stdin. Specifying the infile "stdin" will also read from stdin. Options are:
- --show-runs
print debugging information for runs of side condition code
- --compile-scc
compile side condition code
- --compile-scc-debug
compile debug versions of side condition code
- --run-scc
use compiled side condition code
Info
July 2024 lfscc 0.20230914