#!/bin/sh
# the next line restarts using tclsh \
exec tclsh "$0" "$@"

set cnffile [lindex $argv 0]

set outfile [lindex $argv 1]

puts "output file = $outfile"

set g [open sat/count r]
set count [string trim [read $g]]
close $g

if {[string match *.bmc $cnffile]} {
    set savefile ${count}.bmc
} else {
    set savefile ${count}.cnf
}

puts "saving CNF file $cnffile as $savefile"

if {[file exists smv.cnfdepths]} {
    exec echo cvar_levels >> $cnffile
    exec cat smv.cnfdepths >> $cnffile
}

exec mv $cnffile sat/$savefile

incr count

set g [open sat/count w]
puts $g $count
close $g

set g [open $outfile  w]
if {![string match *.out $outfile]} {
    puts $g 0
}
close $g

