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