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