module.make 287 Bytes
Newer Older
Alan Mishchenko committed
1 2
SRC +=  src/opt/sim/simMan.c \
    src/opt/sim/simSat.c \
Alan Mishchenko committed
3
    src/opt/sim/simSeq.c \
Alan Mishchenko committed
4 5 6 7 8 9 10
    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