# Sequential inputs!
export PARTITION_INPUT=0

build () {
    make -C ../../../../FreeRTOS/FreeRTOS/Demo/CORTEX_M3_MPS2_QEMU_GCC clean && make -C ../../../../FreeRTOS/FreeRTOS/Demo/CORTEX_M3_MPS2_QEMU_GCC $1=1 FUZZ_INT_ACTIVATION=$FUZZ_INT_ACTIVATION FUZZ_BYTES=$FUZZ_BYTES
    cp ../../../../FreeRTOS/FreeRTOS/Demo/CORTEX_M3_MPS2_QEMU_GCC/build/RTOSDemo.axf build/$(echo $1 | cut -d_ -f1 | tr '[:upper:]' '[:lower:]')$2.elf 
}

export DELETE_RNG_STATE=1

# Only bytes

export FUZZ_INT_ACTIVATION=0 FUZZ_BYTES=1 SUFFIX="_seq_bytes"

build WATERS_DEMO $SUFFIX
build RELEASE_DEMO $SUFFIX
build INTERACT_DEMO $SUFFIX

# Only interrupts

export FUZZ_INT_ACTIVATION=1 FUZZ_BYTES=0 SUFFIX="_seq_int"

build WATERS_DEMO $SUFFIX
build RELEASE_DEMO $SUFFIX
build INTERACT_DEMO $SUFFIX

# Full

export FUZZ_INT_ACTIVATION=1 FUZZ_BYTES=1 SUFFIX="_seq_full"

build WATERS_DEMO $SUFFIX
build RELEASE_DEMO $SUFFIX
build INTERACT_DEMO $SUFFIX

# Don't keep rng states
export DELETE_RNG_STATE=1

export FUZZ_INT_ACTIVATION=0 FUZZ_BYTES=1 SUFFIX="_seq_stateless_bytes"
build COPTER_DEMO $SUFFIX
export FUZZ_INT_ACTIVATION=1 FUZZ_BYTES=0 SUFFIX="_seq_stateless_int"
build COPTER_DEMO $SUFFIX
export FUZZ_INT_ACTIVATION=1 FUZZ_BYTES=1 SUFFIX="_seq_stateless_full"
build COPTER_DEMO $SUFFIX

# Keep rng states
export DELETE_RNG_STATE=0

export FUZZ_INT_ACTIVATION=0 FUZZ_BYTES=1 SUFFIX="_seq_bytes"
build COPTER_DEMO $SUFFIX
export FUZZ_INT_ACTIVATION=1 FUZZ_BYTES=0 SUFFIX="_seq_int"
build COPTER_DEMO $SUFFIX
export FUZZ_INT_ACTIVATION=1 FUZZ_BYTES=1 SUFFIX="_seq_full"
build COPTER_DEMO $SUFFIX