simple test for what4 backend, based on tutorial examples
simple test for what4 backend, based on tutorial examples

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script