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 2025 lfscc 0.20230914