blob: 77012361aaaba4323ba5ad9adc5bbfba540d5ed4 [file] [log] [blame]
SRC += src/opt/sim/simMan.c \
src/opt/sim/simSeq.c \
src/opt/sim/simSupp.c \
src/opt/sim/simSwitch.c \
src/opt/sim/simSym.c \
src/opt/sim/simSymSat.c \
src/opt/sim/simSymSim.c \
src/opt/sim/simSymStr.c \
src/opt/sim/simUtils.c