package require tcltest

tcltest::test prova-1.1 {just something simple} {
    set foo 1
    set foo
} {1}

    exec touch core


puts >>>>>>>>>>>[list $tcltest::testSingleFile]

