running

src/run-fuzzer.sh

-#!/bin/sh
-kissat --range > options || exit 1
-i=0
-trap "killall runcnfuzz" 2 10 15
-CNFUZZOPTIONS=options 
-export CNFUZZOPTIONS
-while [ $i -lt 12 ]
-do
-  runcnfuzz -i ../build/kissat --time=3 &
-  i=`expr $i + 1`
-done
-wait

src/run.sh

-##!/bin/sh
-kitten=`kitten $1|grep '^s'`
-kissat=`kissat $1|grep '^s'`
-echo "kitten $kitten"
-echo "kissat $kissat"
-[ "$kitten" = "$kissat" ] && exit 20
-exit 1

test/.gdbinit

-tty /dev/pts/2
-file tissat
-b execute_command
-b tissat_error
-run